计算机应用 ›› 2011, Vol. 31 ›› Issue (08): 2101-2104.DOI: 10.3724/SP.J.1087.2011.02101

• 人工智能 • 上一篇    下一篇

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

郑焕1,张景中1,2   

  1. 1. 广州大学 计算机科学与教育软件学院,广州510006
    2. 中国科学院 成都计算机应用研究所,成都610041
  • 收稿日期:2011-01-26 修回日期:2011-03-19 发布日期:2011-08-01 出版日期:2011-08-01
  • 通讯作者: 郑焕
  • 作者简介:郑焕(1981-),男,广东湛江人,博士研究生,主要研究方向:几何自动推理;张景中(1936-),男,河南汝南人,研究员,博士生导师,中国科学院院士,主要研究方向:几何自动推理、动力系统。

Reasoning algorithm of geometry automatic reasoning platform with sustainable development by user

Huan ZHENG1,Jing-zhong ZHANG1,2   

  1. 1. School of Computer Science and Educational Software, Guangzhou University, Guangzhou Guangdong 510006, China
    2. Chengdu Institute of Computer Application, Chinese Academy of Sciences, Chengdu Sichuan 610041, China
  • Received:2011-01-26 Revised:2011-03-19 Online:2011-08-01 Published:2011-08-01
  • Contact: Huan ZHENG

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

关键词: 几何对象, 谓词, 规则, 几何定理证明器, 可持续性

Abstract: All the available geometry theorem provers are not sustainable. A knowledge representation with the general structure and a reasoning algorithm which could deal with all the rules were proposed. According to these ideas, a geometry automatic reasoning platform that could be sustainably developed by the user had been initially implemented. This platform allows the user to add geometric knowledge such as geometric objects, predicates and rules, and provides multiple reasoning algorithms such as forward search method and a part of area method, so it will be more suitable for geometry teaching.

Key words: geometry object, predicate, rule, geometry theorem prover, sustainability

中图分类号: