对偶占优推理系统的表示定理的证明

摘要：

　　为不同的逻辑规则提供相应的语义特征(即建立表示定理)是非单调逻辑研究中的重要内容之一。K.Britz，J.Heidema和W.Labuschagnez在经典的占优推理系统基础上引入了对偶占优推理的概念。本文给出了一种构造占优模型的方法，并利用该方法建立了对偶占优推理系统的表示定理。

关键词： 人工智能 非单调逻辑 对偶占优推理系统 表示定理

作者: 何方琨

作者单位: 南京航空航天大学信息科学与技术学院，南京 210016

会议类型: 国内会议

会议名称: 第十六届全国青年通信学术会议

会议地点: 杭州

会议语种:中文

页码: 11-14

在线出版日期: 2011-08-01（万方平台首次上网日期，不代表论文的发表时间）