SCKE: Combining Logic- with Object-Oriented Paradigm.

Jin Zhi,Hu Shouren
DOI: https://doi.org/10.1007/bf02946584
IF: 1.871
1993-01-01
Journal of Computer Science and Technology
Abstract:A new implementation(SCKE-Structured Communication Knowledge Entity)has been proposed towards combining the logic with the object-oriented paradigm of computing.It is intended to explore the advatnages in these two paradigms in a structured,natural and efficient manner for large-scale knowledge processing.The SCKE model supports modularity and protection for the structured development of knowledge systems.It also introduces the concepts that are typical for the object-oriented systems in the logic-oriented paradigm,without losing its advantages as a declarative language.Various inheritance hierarchies are supported in the SCKE model.They provide the semantics basis basis for various knowledge in AI systems.The M-entity/K-entity/Instance inberitance captures the relationship among the control,procedural and factural knowledge in AI systems.And ,the super-entity/entity/instance inheritance shows the concepts of data abstraction in the knowledge of a particular domain.In addition,the SCKE model is not simply supported on top of Prolog like other attempts to integrate the object-into the logic-oriented paradigm.The SCKE model is a tightly coupled model of the logic and the object-oriented paradigm and its interpreter uniformly interprets the logic semantics and the object-oriented semantics.
What problem does this paper attempt to address?