摘要：该文提出了一种全新的推理机制，是一种通过将前提和结论中的复杂公式不断拆解来证明的推理机制，主要运用了矛盾转换原则来实现对公式的拆解，将对复杂公式形式的判断转化为对文字的判断。
　　关鍵词：推理；矛盾转换；人工智能
　　 中图分类号：TP312
　　文献标识码：A
　　文章编号：1009-3044(2006)29-0179-03