缺省逻辑的Roos扩充

• 作者: 傅丽
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: Reiter扩充 Roos-扩充 半单调性 结论
• 年，卷（期）: 2006,（14）
• 所属期刊栏目: 学术探讨
• 页码范围: 30-33
• 页数: 4页
• 分类号: TP18
• 字数: 4838字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2006.14.009

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	傅丽	青海民族学院数学系	25	244	3.0	15.0