基于Ontology的平面几何知识库设计

DESIGNING KNOWLEDGE BASE FOR THE ELEMENTARY GEOMETRY BASED ON ONTOLOGY

文中给出了Ontology建模方法在平面几何知识库设计中的一个应用实例。先从总体上介绍了Ontology建模方法的思想、框架结构及优点。再详细描述了平面几何知识库的设计、组织结构及其实现。我们提出概念分层 ,等价类存贮 ,启发式双向推理 ,推理经验生成 ,交互解题 ,数字测试等多种平面几何知识库的相关技术 ;能生成与“吴法”等代数方法不同的、传统的、较优的可读证明 ;并提高了系统的重用性、可靠性。

It is illustrated how to use an ontology to design knowledge basis of elementary geometry. Firstly we introduce the idea, framework, applications and prospect of ontology, then show the building process of geometry ontology and finally describe the architecture of our knowledge basis which is based on geometry ontology.In addition, we present several techniques, such as heuristic forward and backward reasoning, case study, hypothesize-and-numerical test etc., by which it can generate relatively optimum, traditional and readable proofs for geometry theorems.