关于非单调推理中的择优蕴涵

被引：5

作者：

姜云飞

机构：

[1] 吉林大学计算机科学系

来源：

关键词：

逻辑; 单调性; 充要条件; 等价; 说法; 非单调推理; 传递性;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

为解决非单调推理问题,Shoham提出了择优模(preferred model)和择优蕴涵(preferential implication)的概念,本文在Shoham概念的基础上,进一步探讨了择优蕴涵与传统蕴涵的异同,给出了择优蕴涵单调性的两个充要条件,证明了择优蕴涵的单调性与传递性是等价的。

引用

页码：792 / 796

页数：5