【摘要】 归结原理 (resolutionprinciple)是计算机自动推理的重要原理之一。将XML加入到使用归结原理的证明过程中 ,利用XML结构与语义自描述的特性 ,简化归结过程的计算机实现 ,并给出相应基于XML的算法。更多还原

【Abstract】 Resolution principle is one of the most important principles in automatic deduction. Integrate XML into this procedure. By utilizing the structure and semantic self-description features of XML, we can see that the resolution process and computing efficiency will be facilitated. The XML-based algorithm also will be given.更多还原