缺省逻辑的Roos扩充

摘要：

Reiter的缺省逻辑的一个缺陷是不能分情形进行推理,为了克服Reiter扩充的这一缺陷,Roos提出了缺省扩充的一种修正定义来解决这一问题.文中将讨论Roos扩充类似于Reiter扩充的一些性质,发现Reiter扩充的一些性质对Roos扩充不再成立,并指出它们的不同.

关键词：Reiter扩充、Roos-扩充、半单调性、结论

所属期刊栏目：42

分类号：TP18(自动化基础理论)

资助基金：中国科学院资助项目10331010

在线出版日期：2006-06-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：30-33