%0 Journal Article
%T 面向对象逻辑语言SCKE中的限制推理
%A 胡守仁
%A 金芝
%J -
%D 1994
%X 限制理论是形式化常识知识并进行常识推理的一种重要方法．本文主要研究将限制理论转化为面向对象逻辑语言的可能性，并实现了完成这个转换的编译器．按面向对象逻辑语言的语义运行编译后的程序，可得到与原限制理论相同的结果．将该编译器嵌入面向对象逻辑语言解释器中，可以大大提高该语言的表达能力，特别是可以实现对常识知识表示和常识推理的支持
%K 面向对象的逻辑程序
%K 限制理论
%K 非单调推理
%K 常识推理
%K 继承系统
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19940503&flag=1