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

 

关键字：矛盾  不一致性  标注逻辑  注释  证据