详细分析了可拓方法在人工智能技术中

的应用，特别是它与知识表示和推理技术的密切联系。由此，提出了可拓知

识表示方法的形式化定义，并且将它与原有的几种知识表示方法进行了详细

的比较。

-Detailed analysis of the extension method in artificial intelligence technology, especially with the knowledge representation and reasoning techniques in close contact. As a result, the proposed extension knowledge representation formal definition and a detailed comparison with existing knowledge of several methods.