基于领域的机器定理证明的研究  

Research on Machine Theorem Proving Based on Domain

作　　者：李凯[1] 董春玲[1] 赵克[1] 

机构地区：[1]西安电子科技大学机电工程学院,陕西西安710071

出　　处：《航空计算技术》2010年第2期80-83,共4页Aeronautical Computing Technique

基　　金：陕西省自然科学基金资助(2007F42)

摘　　要：采用分类的思想,对领域内的证明问题进行了归纳总结、抽象,在计算机上建立了相应的模型,采用基于知识的推理技术,设计了机器定理证明的实现流程,并针对某种具体类型实现了相应的原型系统,得到了满意的结果。分类思想为具有较强客观规律问题的机器自动求解提供了思路。The paper used classified thought and carried on to induce summary, abstraction to the proof problem in the domain and build up the model on computer, designed the process of machine proof according to the reasoning logically of knowledge technique, aimed at a certain and concrete type to carry out homologous prototype system, got the satisfactory result. Classified thought provide a automatically solved way to problem that have stronger objective regulation.

关 键 词：领域 分类 定理证明 知识推理 

分 类 号：TP391.6[自动化与计算机技术—计算机应用技术]