结合逻辑和面向对象范例的一种新模型(SCKE)
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

国家高技术发展计划资助项目


SCKE:A New Model for Combining Logic with Object-oriented Paradigm
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    逻辑语言和面向对象语言是两种引人注目的知识程序设计语言。如何结合它们各自的优点以支持复杂的知识处理,已成为许多研究者关注的问题。本文首先提出了结合逻辑和面向对象范例的一种新模型SCKE,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征和面向对象语言的结构化、信息隐藏、继承等性质。本文推广了逻辑语言的Herbrand 解释,并由此探讨了SCKE 模型的形式语义。文中讨论了实现该模型的基于预编译的元级扩充方法,并论述了 SCKE 模型的主要特点。

    Abstract:

    Nowadays. the paradigms, namely the object-oriented language and the logic programming language, are two attractive knowledge programming languages. However, a generally accepted answer to the question “How to combine the logic-with the object-oriented paradigm for complex knowledge processing?” is still to be given. In this paper, a new model SCKE has been proposed towards combining the logic-with the object-oriented paradigm of computing. It is intended to introduce the concepts that are typical for the object-oriented systems in the logic-oriented paradigm, without losing its advantages as a declarative language. An extensive Herbrand interpretation for SCKE model has been defined to interpret uniformly the logic semantics and the object-oriented semantics. SCKE model has been implemented on SUN separately by the following three methods:precompiling-based meta-level extension, interpreting execution and compiling execution. Finally, the features of SCKE model have been discussed.

    参考文献
    相似文献
    引证文献
引用本文

金芝,胡守仁.结合逻辑和面向对象范例的一种新模型(SCKE)[J].国防科技大学学报,1992,14(3):1-8.

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:1991-10-03
  • 最后修改日期:
  • 录用日期:
  • 在线发布日期: 2015-07-04
  • 出版日期:
文章二维码