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

来源 :计算机学报 | 被引量 : 0次 | 上传用户：cnyy20

【摘要】

：

为解决非单调推理问题,Shoham提出了择优模(preferred model)和择优蕴涵(preferential implication)的概念,本文在Shoham概念的基础上,进一步探讨了择优蕴涵与传统蕴涵的异同

【作者】

：

姜云飞

【机构】

：

吉林大学计算机科学系

【出处】

：

计算机学报

【发表日期】

：

1990年10期

【关键词】

：

非单调推理择优蕴涵

【基金项目】

：

国家自然科学基金

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

对称与非对称三值逻辑的关系

<正> 1.对称三值逻辑的基本运算对称三值逻辑的三个基本运算可以表示成非对称三值逻辑的导出运算。

期刊

三值逻辑数理逻辑

成都市召开生猪屠宰专项整治工作现场会

8月27日．成都市召开了“成都市生猪屠宰专项整治工作现场会”，对贯彻新修订的《生猪屠宰管理条例》．开展全市的生猪屠宰专项整治工作进行专门部署。会议要求，各区（市）县政府及市级

期刊

《生猪屠宰管理条例》整治工作成都市现场会屠宰加工企业规模化养殖肉品安全伪劣饲料

也谈V／B实现用户操作动态提示

期刊

VB软件开发动态提示用户操作