基于可能性理的缺省逻辑的研究
在该文中，作者分析了Yager用可能性理论框架来表示缺省知识的形式化方法，并测试了三类不同的应用方案，作者将得到的结果同Reiter的缺省逻辑得到的结果进行了比较，结果显示只在具有严格约束的缺省逻辑下，Yager的形式化方法才与Reiter的缺省逻辑具有一定的相关性，并且给出了它们在一般缺省理论下的不匹配处。最后，作者给出了以不动点机制的改进方法，可以消除掉这些不匹配。
缺省逻辑 可能性理论 缺省推理 不动点
李爱平 吴泉源
国防科技大学计算机学院613号(长沙)
国内会议
成都
中文
72～77
2000-12-01（万方平台首次上网日期，不代表论文的发表时间）