论文部分内容阅读
A new implementation(SCKE—Stractured Communication Knowledge Entity)has been proposedtowards combining the logic-with the object-oriented paradigm of computing.It is intended to explore theadvantages in these two paradigms in a structured,natural and efficient manner for large-scale know-ledge processing.The SCKE model supports modularity and protection for the structured development ofknowledge systems.It also introduces the concepts that are typical for the object-oriented systems in thelogic-oriented paradigm,without losing its advantages as a declarative language.Various inheritance hier-archies are supported in the SCKE model.They provide the semantics basis for various knowledge in AIsystems.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 showsthe concepts of data abstraction in the knowledge of a particular domain.In addition,the SCKE modelis not simply supported on top of Prolog like other attempts to integrate the object-into the log-ic-oriented paradigm.The SCKE model is a tighltly coupled model of the logic-and the object-orientedparadigm and its interpreter uniformly interprets the logic semantics and the object-oriented semantics.
A new implementation (SCKE-Stractured Communication Knowledge Entity) has been proposedtowards combining the logic-with the object-oriented paradigm of computing. It is intended to explore theadvantages in these two paradigms in a structured, natural and efficient manner for large-scale know -ledge processing. The SCKE model supports modularity and protection for the structured development ofknowledge systems. It also introduces the concepts that are typical for the object-oriented systems in thelogic-oriented paradigm, without losing its advantages as a declarative language .Various inheritance hier -archies are supported in the SCKE model.They provide the semantics basis for various knowledge in AIsystems. 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 showsthe concepts of data abstraction in the knowledge of a particular domain. In addition, the SCKE modelis n ot simply supported on top of Prolog like other attempts to integrate the object-into the log-ic-oriented paradigm. The SCKE model is a highly coupled model of the logic-and the object-oriented paradigm and its interpreter uniformly interpret the logic semantics and the object-oriented semantics.