SCKE:Combining Logic- with Object-Oriented Paradigm

来源 :Journal of Computer Science and Technology | 被引量 : 0次 | 上传用户:GISSeven
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
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.
其他文献
徐志摩有着深深的康桥情结,作者直接以康桥为写作对象的作品就有三篇:散文《我所知道的康桥》、诗歌《康桥再会吧》和《再别康桥》。或许是《再别康桥》更体现了诗歌三美——
他从技术员、侦察员、中队长一步一个脚印走上了缉毒大队长的岗位,在侦破3000余起刑事案件和攻克240余起各类疑难案件中,面对肆意践踏法律的凶残歹徒,他一次次把生的希望留给
InunitsProductionSalesManufacturerJulyAccumulatedChange,%JulyAccumulatedChange,%%%HeavyTruckFAWGroupCorp.10,34865,276-1.1712,10966,3415.17DongfengMotorCorp.9,54
本文是关于共总线多主处理器系统设计的文章,着重介绍了一种通用的、可靠的、而且结构简单的仲裁原理及电路设计,这种仲裁方法使各主CPU板具有同样的优先权,并且支持处理器的
4年前,当下岗失业之时,他幸运地成为了皖南山城东至县的一名社保“业余”征缴员,把更多的“福气”送给个体工商户成为了他新的理想;如今,他在一家私企再次干上了他的会计老本
本文主要论述了微机在远程通讯中的抗干扰问题,通过一个实际系统阐述了对空间干扰,供电系统的干扰和过程通道的干扰的抑制方法。从而保证了微机在较恶劣环境下稳定可靠的工作
请下载后查看,本文暂不支持在线获取查看简介。 Please download to view, this article does not support online access to view profile.
生物学学科思维的一个基本单位即生物学概念,而生物教学是通过一系列生物概念当作推理和综合、判断和分析等逻辑思维的依据,引导学生将生物这门学科的基本规律掌握。在高中生
今年五六月间,广东省及各市、县老促会的同志深入老区调查研究,同时调查了老区水库移民的情况。发现近三四十年来,特别是从1993年开始实施省人大《关于解决水库移民遗留问题
现在我们的班级每个班的学生都有四五十人,如果真正把课堂还给学生,让他们自己去想方法,有时候会有意想不到的收获.有些题目学生的解题方法可能我们做教师的都想不到.有时候