NETL
基于规则演绎系统的不一致推理中的剪枝
赵宇霆 1姜云飞 2杨凤杰 1虞强源1
作者信息
- 1. 吉林大学计算机科学系(长春)
- 2. 中山大学计算机软件所(广州)
- 折叠
摘要
在处理不一致性知识时，因为以基于规则的演绎系统为模型的知识库采用一种ＡＮＤ／ＯＲ图的推导形式，所以不具有通常逻辑系统所普遍具有的平凡性。在这种情况下，难以判定目标结果的得出是否有不一致知识的参与，难以判定哪些结果是绝对安全的。在该文中研究人员通过剪枝技术，得到与不一致知识完全无关的推导信息，可以对绝对安全的目标结果给出证明。
关键词
不一致推理/剪枝/基于规则的演绎系统/AND/OR图引用本文复制引用
主办单位
中国计算机学会会议名称
第五届中国人工智能联合学术会议会议时间
1998-10-01会议地点
西安会议母体文献
'98人工智能进展论文集页码
59-64出版时间
1998