面向对象逻辑语言scke中的限制推理
, PP. 16-25
Keywords: 面向对象的逻辑程序,限制理论,非单调推理,常识推理,继承系统
Abstract:
限制理论是形式化常识知识并进行常识推理的一种重要方法.本文主要研究将限制理论转化为面向对象逻辑语言的可能性,并实现了完成这个转换的编译器.按面向对象逻辑语言的语义运行编译后的程序,可得到与原限制理论相同的结果.将该编译器嵌入面向对象逻辑语言解释器中,可以大大提高该语言的表达能力,特别是可以实现对常识知识表示和常识推理的支持.
Full-Text