| 基于领域的机器定理证明的研究 |
| |
| 引用本文： | 李凯,董春玲,赵克.基于领域的机器定理证明的研究[J].航空计算技术,2010,40(2):80-83. |
| |
| 作者姓名： | 李凯 董春玲 赵克 |
| |
| 作者单位： | 西安电子科技大学,机电工程学院,陕西,西安,710071 |
| |
| 基金项目： | 陕西省自然科学基金资助 |
| |
| 摘 要： | 采用分类的思想，对领域内的证明问题进行了归纳总结、抽象，在计算机上建立了相应的模型，采用基于知识的推理技术，设计了机器定理证明的实现流程，并针对某种具体类型实现了相应的原型系统，得到了满意的结果。分类思想为具有较强客观规律问题的机器自动求解提供了思路。
|
| 关 键 词： | 领域 分类 定理证明 知识推理 |
Research on Machine Theorem Proving Based on Domain |
| |
| LI Kai,DONG Chun-ling,ZHAO Ke.Research on Machine Theorem Proving Based on Domain[J].Aeronautical Computer Technique,2010,40(2):80-83. |
| |
| Authors: | LI Kai DONG Chun-ling ZHAO Ke |
| |
| Institution: | ( School of Electriornechanical Engineering, Xidian University, Xi＇an 710071, China ) |
| |
| Abstract: | 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. |
| |
| Keywords: | domain class theorem prove knowledge reason |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
