可由用户持续发展的几何自动推理平台的推理算法

• 作者: 张景中 郑焕
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 几何对象 谓词 规则 几何定理证明器 可持续性
• 年，卷（期）: 2011,（8）
• 所属期刊栏目: 人工智能
• 页码范围: 2101-2104,2107
• 分类号: TP181
• 字数: 7141字
• 语种: 中文
• DOI: 10.3724/SP.J.1087.2011.02101

摘要

目前的几何定理证明器都不具有可持续性.提出一种结构具有一般性的知识表示和能够统一处理所有规则的推理算法,初步实现了可由用户持续发展的几何自动推理平台.该推理平台允许用户添加几何知识,如几何对象、谓词和规则,并可以综合使用多种推理算法,如前推搜索法和一部分面积法,它将更适合用于几何教学.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张景中	广州大学计算机科学与教育软件学院	198	416	10.0	18.0
5	郑焕	广州大学计算机科学与教育软件学院	13	46	4.0	6.0