当前位置: 首页 > 文章 > 子句型不一致信念的一种非修正推理方法及其优化 山东农业大学学报(自然科学版) 2014 (1) 118-123
Position: Home > Articles > A Non-revision Reasoning Method for Inconsistent Clausal Beliefs Journal of Shandong Agricultural University(Natural Science Edition) 2014 (1) 118-123

子句型不一致信念的一种非修正推理方法及其优化

作  者:
邓安生;何业辉;张卫娜
单  位:
大连海事大学信息科学技术学院
关键词:
假说;归结;扩充;删除策略
摘  要:
如何处理信念之间的冲突是常识推理中的一个关键性的问题。基于Robinson的归结方法,给出了一个在一阶逻辑中基于子句型信念的非修正推理方法,通过对推理过程进行适当的控制以得到最终的结论集但不对已有的冲突信念进行修正。这种方法能够较好地在推理中避免有用信息的丢失和无用信息的产生现象,可用于刻画信念的动态增长和进化。
译  名:
A Non-revision Reasoning Method for Inconsistent Clausal Beliefs
关键词:
Hypothesis%resolution%extension%deletion strategy
摘  要:
A key problem for commonsense reasoning is how to deal with the conflictions between or among beliefs. Based on Robinson’s resolution principle, we propose a new method for reasoning with inconsistent clausal belief set. We show that it is able to obtain the most reliable consequences by proper control on the reasoning ways but with non revision of the conflicting premises. Its improvements are also considered in the paper. This reasoning mechanism for inconsistency is theoretically sound and intuitively reasonable, which could be of benefit for knowledge based reasoning to avoid the loss of useful information and the derivation of unwanted conclusions.

相似文章

计量
文章访问数: 12
HTML全文浏览量: 0
PDF下载量: 0

所属期刊

推荐期刊