| 面向对象逻辑语言SCKE中的限制推理 |
| |
| 引用本文： | 金芝,胡守仁. 面向对象逻辑语言SCKE中的限制推理[J]. 软件学报, 1994, 5(5): 16-25 |
| |
| 作者姓名： | 金芝 胡守仁 |
| |
| 作者单位： | 长沙工学院计算机系，长沙 410073;长沙工学院计算机系，长沙 410073 |
| |
| 摘 要： | 限制理论是形式化常识知识并进行常识推理的一种重要方法．本文主要研究将限制理论转化为面向对象逻辑语言的可能性，并实现了完成这个转换的编译器．按面向对象逻辑语言的语义运行编译后的程序，可得到与原限制理论相同的结果．将该编译器嵌入面向对象逻辑语言解释器中，可以大大提高该语言的表达能力，特别是可以实现对常识知识表示和常识推理的支持．
|
| 关 键 词： | 面向对象的逻辑程序，限制理论，非单调推理，常识推理，继承系统 |
| 收稿时间： | 1991-11-08 |
| 修稿时间： | 1992-01-30 |
THE CIRCUMSCRIPTIVE THEORIES IN THE OBJECT-ORIENTED LOGIC LANGUAGE SCKE |
| |
| Jin Zhi and Hu Shouren. THE CIRCUMSCRIPTIVE THEORIES IN THE OBJECT-ORIENTED LOGIC LANGUAGE SCKE[J]. Journal of Software, 1994, 5(5): 16-25 |
| |
| Authors: | Jin Zhi and Hu Shouren |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载免费的PDF全文 |
