中文会议： ''98人工智能进展论文集

会议地点： 西安

主办单位： 中国计算机学会

出版方 ： 西安交通大学出版社

出版地： 西安

作　　者： ; ; ; ;

机构地区： 吉林大学

出　　处： 《第五届中国人工智能联合学术会议》

摘　　要： 在处理不一致性知识时，因为以基于规则的演绎系统为模型的知识库采用一种ＡＮＤ／ＯＲ图的推导形式，所以不具有通常逻辑系统所普遍具有的平凡性。在这种情况下，难以判定目标结果的得出是否有不一致知识的参与，难以判定哪些结果是绝对安全的。在该文中研究人员通过剪枝技术，得到与不一致知识完全无关的推导信息，可以对绝对安全的目标结果给出证明。

关 键 词： 不一致推理 剪枝 基于规则的演绎系统 图

领　　域： [自动化与计算机技术] [自动化与计算机技术]