基于可拓理论的不相容问题的求解初探

Theory Based on Extension of the Incompatibility Problem Solving

传统的人工智能方法在处理矛盾问题、策略的生成方面有许多不足.如何更准确地表示知识和智能化的推理已成为当今研究的热点和难点问题.可拓学的的创立为知识表示和推理的理论研究提供一条新的途径,用可拓学思想对知识进行表示,对不相容问题进行分析,并给出了检查含圈矛盾知识的算法.

The traditional artificial intelligence methods in dealing with contradictions and strategy have a lot less than the formation. More accurate representation of how knowledge and intelligent reasoning has become the hotspot and difficult issues. Extension of the creation of knowledge representation and reasoning for the theory provides a new way. Thought this paper, the extension of the knowledge given to check contradiction knowledge with the circle.