发布时间：

2026-06-30

所属单位：

人工智能教育学部

论文名称：

Automatically Proving Plane Geometry Theorems Stated by Text and Diagram

发表刊物：

International Journal of Pattern Recognition and Artificial Intelligence

刊物所在地：

国内外公开发行

关键字：

Geometry theorem proving; theorem understanding; relation extraction; syntax-semantics model; diagram mining

摘要：

This paper presents an algorithm for proving plane geometry theorems stated by text and diagram in a complementary way. The problem of proving plane geometry theorems involves two challenging subtasks, being theorem understanding and theorem proving. This paper proposes to consider theorem understanding as a problem of extracting relations from text and diagram. A syntax-semantics (S-2) model method is proposed to extract the geometric relations from theorem text, and a diagram mining method is proposed to extract geometry relations from diagram. Then, a procedure is developed to obtain a set of relations that is consistent with the given theorem with high confidence. Finally, theorem proving is conducted by using the existing proving methods which take the extracted geometric relations as input. The experimental results show that the proposed theorem proving algorithm can prove 86% of plane geometry theorems in the test dataset of 200 theorems, which is all the theorems in the popular textbook. The proposed algorithm outperforms the existing algorithms mainly because it can extract relations not only from text but also from diagram.

第一作者：

Gan, Wenbin

论文类型：

期刊论文

通讯作者：

Wang, Mingshu,余新国,张婷

论文编号：

1570699438496813056

文献类型：

00001

卷号：

33

期号：

7

ISSN号：

0218-0014

是否译文：

否

发表时间：

2019-06-30

收录刊物：

其他（ESI、Scopus、OA）、EI、SCI