论文部分内容阅读
在该文中，作者分析了Yager用可能性理论框架来表示缺省知识的形式化方法，并测试了三类不同的应用方案，作者将得到的结果同Reiter的缺省逻辑得到的结果进行了比较，结果显示只在具有严格约束的缺省逻辑下，Yager的形式化方法才与Reiter的缺省逻辑具有一定的相关性，并且给出了它们在一般缺省理论下的不匹配处。最后，作者给出了以不动点机制的改进方法，可以消除掉这些不匹配。