| 基于前向推理的平面解析几何自动推理系统研究与实现 |
| |
| 引用本文： | 李涛,张波,李传中.基于前向推理的平面解析几何自动推理系统研究与实现[J].计算机应用,2006,26(7):1715-1717. |
| |
| 作者姓名： | 李涛 张波 李传中 |
| |
| 作者单位： | 1. 华南农业大学,现代教育技术中心,广东,广州,510642
2. 广州大学,计算机教育软件研究所,广东,广州,510006 |
| |
| 摘 要： | 采用传统的前向推理策略，使用了代数和几何相结合的推理方法，把解方程作为核心思想，较完善地实现了平面解析几何的自动推理系统。实践证明，本系统可以对大部分初等平面解析几何问题进行自动解题。
|
| 关 键 词： | 自动推理 平面解析几何 前向推理 解方程 谓词 |
| 文章编号： | 1001-9081（2006）07-1715-03 |
| 收稿时间： | 2006-01-10 |
| 修稿时间： | 2006-01-102006-04-07 |
Automatic reasoning system of plane analytic geometry based on forward reasoning |
| |
| LI Tao,ZHANG Bo,LI Chuan-zhong.Automatic reasoning system of plane analytic geometry based on forward reasoning[J].journal of Computer Applications,2006,26(7):1715-1717. |
| |
| Authors: | LI Tao ZHANG Bo LI Chuan-zhong |
| |
| Affiliation: | 1. Modern Education and Technology Center, South China Agriculture University, Guangzhou Guangdong 510642, China; 2. Computer Education Software Institute, Guangzhou University, Guangzhou Guangdong 510006, China |
| |
| Abstract: | Using traditional forward reasoning strategy, combined algebra reasoning method and geometry reasoning method, an automatic reasoning system of plane analytic geometry was carried out perfectly. Its core was solving the equations. Experiments show that this system can resolve the most problems in elementary plane analytic geometry automatically. |
| |
| Keywords: | automated reasoning plane analytic geometry forward reasoning resolving equation predicate |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
|
