矛盾与标注逻辑分析的意义
<div>
摘 要:矛盾问题是制约人工智能发展的重要问题,而基于矛盾的认识论解释表明了,矛盾是由矛盾信息的共存所致,因此解决矛盾的理想方法便是分析矛盾信息,从中推理命题的有效证据。而一些逻辑学家提出的标注逻辑正是对矛盾信息的分析,该逻辑通过对矛盾信息中有利证据与不利证据的标注,推理出证据的确定度与矛盾度,进而求解命题真正的证据度,以解释命题的意义。基于标注逻辑对矛盾问题的解决,不仅推动了人工智能的发展,同时也促进了人类理性思维的可计算化研究。</div>
<div>
</div>
<div>
关键字:矛盾 不一致性 标注逻辑 注释 证据</div>
<div>
</div>
卷期: 2018年8月第40卷第8期
页码: 35-43