| 摘要: |
| 限制理论是形式化常识知识并进行常识推理的一种重要方法．本文主要研究将限制理论转化为面向对象逻辑语言的可能性，并实现了完成这个转换的编译器．按面向对象逻辑语言的语义运行编译后的程序，可得到与原限制理论相同的结果．将该编译器嵌入面向对象逻辑语言解释器中，可以大大提高该语言的表达能力，特别是可以实现对常识知识表示和常识推理的支持． |
| 关键词: 面向对象的逻辑程序，限制理论，非单调推理，常识推理，继承系统 |
| DOI： |
| 分类号: |
| 基金项目:国家高技术计划资助 |
|
| THE CIRCUMSCRIPTIVE THEORIES IN THE OBJECT-ORIENTED LOGIC LANGUAGE SCKE |
|
Jin Zhi,Hu Shouren
|
| Abstract: |
| Circumscription is an important theory for formalizing the commonsense reasoning. This paper mainly studies the possibility of transforming some special kinds of circumscription into the object-oriented logic language ──SCKE. A compiler has been implemented to complete the transformation. Running the result program in terms of the semantics of the object -oriented logic program, the same results as the original circumscriptive theory can be reached. So the nonmonotonic inheritance in the object-oriented logic language can be achieved to support the commonsense reasoning. |
| Key words: Circumscription, object -oriented logic program, nonmonotonic inheritance,commonsense reasoning. |
