可能性缺省逻辑及其应用

被引：9

作者：

李爱平

吴泉源

伍赛先

机构：

[1] 国防科技大学计算机学院!湖南长沙

来源：

计算机工程与科学 | 2001年 / 04期

关键词：

缺省逻辑; 可能性理论; 缺省推理; 不动点;

D O I：

暂无

中图分类号：

TP182 [专家系统、知识工程];

学科分类号：

140502 [人工智能];

摘要：

本文分析了 Yager用可能性理论框架来表示缺省知识的形式化方法 ,并测试了三类不同的应用方案。得到的结果与 Reiter的缺省逻辑得到的结果相比较 ,表明只在具有严格约束的缺省逻辑下 ,Yager的形式化方法才与 Reiter的缺省逻辑具有一定的相关性。我们指出了它们在一般缺省理论下的不匹配处 ,并给出了以不动点机制的改进方法来消除这些不匹配

引用

页码：96 / 99+107 +107

页数：5