|本期目录/Table of Contents|

[1]李涛.添加辅助线辅助点在计算机自动推理中的研究[J].武汉工程大学学报,2009,(03):89-94.
　LI Tao.Research on adding auxiliary line and auxiliary point in computer automatic reasoning[J].Journal of Wuhan Institute of Technology,2009,(03):89-94.
点击复制

添加辅助线辅助点在计算机自动推理中的研究()
分享到：

《武汉工程大学学报》[ISSN:1674-2869/CN:42-1779/TQ]

卷:
期数:
2009年03期
页码:
89-94
栏目:
机电与信息工程
出版日期:
2009-03-28

文章信息/Info

Title:
Research on adding auxiliary line and
auxiliary point in computer automatic reasoning
文章编号:
16742869(2009)03008906
作者:
李涛
华南农业大学现代教育技术中心，广东 广州 510642
Author(s):
LI Tao
Modern Education and Technology Center of South China Agriculture University，Guangzhou 510642，China
关键词:
自动推理; 自动解题; 辅助线; 辅助点
Keywords:
automated reasoning; automatic solution; auxiliary line; auxiliary point
分类号:
TP 181
DOI:
-
文献标志码:
A
摘要:
在证明中使用辅助线和辅助点，是传统几何的特色，是高智能的解题方法，但却给几何证明的机械化增添了很大的困难.尝试在自动推理中应用辅助线和辅助点.实验证明，对较为复杂的几何问题来说，采用这种方法可以显著提高推理效率.
Abstract:
People have made great achievements in the field of machine proving for geometry theorems. Using auxiliary line and auxiliary point in proofs is the characteristic of traditional geometry and a highintelligence geometry approach，but it adds great difficulty to geometric proof’s mechanization. The author tries to apply auxiliary line and auxiliary point in automatic reasoning system. This method can improve reasoning efficiency in evidence，especially in the solution of some complex elementary geometry problems.

参考文献/References:

［1］张景中，杨路，高小山，周咸青.几何定理可读证明的自动生成［J］. 计算机学报，1995，18（5）：380-393.
［2］Yang L，Gao X S，Chou S C，et al. Automated proving and discovering of theorems in nonEuclidean geometries［C］∥ Automated Deduction in Geometry. Berlin Heidelberg：SpringerVerlag，1998：171-188.
［3］吴文俊.几何定理机器证明的基本原理［M］. 北京：科学出版社，1984.
［4］张景中.计算机怎样解几何题－谈谈自动推理 ［M］. 北京：清华大学出版社，暨南大学出版社，2000：1189.
［5］张景中，李传中.自动推理与教育软件智能平台［J］. 广州大学学报，2001，15（2）：16.
［6］张景中，高小山，周咸青.基于前推法的几何信息搜索系统［J］. 计算机学报，1996，19（10）：721-727.
［7］Nevins A J. Plane geometry theorem proving using forward chaining［J］. Artifical Intelligence，1975，6（1）：123.
［8］李涛.基于前向推理的平面解析几何自动推理系统研究与实现［J］. 计算机应用，2006（7）：1717-1720.
［9］徐茜.双向推理系统在初等几何自动解题中的实现［J］. 计算机应用研究，2004，（11）：232-234.

相似文献/References:

备注/Memo

备注/Memo:
收稿日期：2008-09-28
基金项目：华南农业大学校长科学基金项目（2006K036）
作者简介：李涛（1978），男，湖北黄冈人，实验师，硕士.研究方向：计算机自动推理与应用软件、计算机网络.
更新日期/Last Update: