期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
SCKE:Combining Logic- with Object-Oriented Paradigm
1
作者 金芝 胡守仁 《Journal of Computer Science & Technology》 SCIE EI CSCD 1993年第1期38-48,共11页
A new implementation(SCKE—Stractured 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 p... A new implementation(SCKE—Stractured 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 know- ledge 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 hier- archies 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 log- ic-oriented paradigm.The SCKE model is a tighltly coupled model of the logic-and the object-oriented paradigm and its interpreter uniformly interprets the logic semantics and the object-oriented semantics. 展开更多
关键词 logic programming MODULARITY object-oriented paradigm INHERITANCE MESSAGE logic object resolution visible conditional Herbrand model
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部