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

• 作者: 李凯 董春玲 赵克
• 来源期刊: 航空计算技术
• 关键词: 领域 分类 定理证明 知识推理
• 年，卷（期）: 2010,（2）
• 所属期刊栏目: 计算机软件
• 页码范围: 80-83
• 页数: 4页
• 分类号: TP391.6
• 语种: 中文
• DOI: 10.3969/j.issn.1671-654X.2010.02.022

摘要

采用分类的思想,对领域内的证明问题进行了归纳总结、抽象,在计算机上建立了相应的模型,采用基于知识的推理技术,设计了机器定理证明的实现流程,并针对某种具体类型实现了相应的原型系统,得到了满意的结果.分类思想为具有较强客观规律问题的机器自动求解提供了思路.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵克	西安电子科技大学机电工程学院	57	259	9.0	12.0
2	李凯	西安电子科技大学机电工程学院	22	104	6.0	9.0
3	董春玲	西安电子科技大学机电工程学院	2	4	1.0	2.0