Go to DBLP homepageSCKE: Combining logic- with object-oriented paradigm
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 advantages 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 for various knowledge in AI systems. The M-entity/K-entity/Instance inheritance captures the relationship among the control, procedural and factual 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.
Loading