用带条件重写技术证明几何定理  

PROVING GEOMETRY THEOREMS BASED ON CONDITIONAL REWRITING TECHNIQUES

作　　者：冯培雄[1] 邵志清[1] 孙永强[2] 

机构地区：[1]华东理工大学计算机科学与工程系,上海200237 [2]上海交通大学计算机科学与工程系,上海200030

出　　处：《模式识别与人工智能》1997年第1期21-27,共7页Pattern Recognition and Artificial Intelligence

基　　金：国家高技术八六三研究发展计划;国家自然科学基金;华东理工大学科学研究基金

摘　　要：本文研究了带条件的重写技术在几何定理证明中的应用问题.采用按情形分析的技术,使得归纳模式中所要考虑的变量数目大为减少.此外,我们还给出了一组推理规则,实验例子表明,它们对几何定理可以进行有效的自动证明.This paper shows how to apply conditional rewriting techniques to prove geometry theorems. We reduce the number of induction variables in inductive proof schema by case analysis. Furthermore, we propose a set of inference rules which can make automatic geometry theorem proving more efficient.

关 键 词：几何定理 证明 条件规则 重写 归纳 

分 类 号：O18[理学—数学]