%0 Journal Article
%T THE CIRCUMSCRIPTIVE THEORIES IN THE OBJECT-ORIENTED LOGIC LANGUAGE SCKE<br>面向对象逻辑语言SCKE中的限制推理
%A Jin Zhi
%A Hu Shouren
%A <br>金芝
%A 胡守仁
%J 软件学报
%D 1994
%I 
%X 限制理论是形式化常识知识并进行常识推理的一种重要方法．本文主要研究将限制理论转化为面向对象逻辑语言的可能性，并实现了完成这个转换的编译器．按面向对象逻辑语言的语义运行编译后的程序，可得到与原限制理论相同的结果．将该编译器嵌入面向对象逻辑语言解释器中，可以大大提高该语言的表达能力，特别是可以实现对常识知识表示和常识推理的支持．
%K 面向对象的逻辑程序，限制理论，非单调推理，常识推理，继承系统
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=C5DE91A7C94758308D171F43EB7B82A8&yid=3EBE383EEA0A6494&vid=94C357A881DFC066&iid=94C357A881DFC066&sid=7801E6FC5AE9020C&eid=C5154311167311FE&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=7