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

被引：7

作者：

吴文渊

曾振柄

符红光

机构：

[1] 中国科学院成都计算机应用研究所自动推理实验室

来源：

计算机应用 | 2002年 / 03期

关键词：

Ontology建模方法; KADS框架结构; 知识重用; 启发式双向推理;

D O I：

暂无

中图分类号：

TP391.72 [];

学科分类号：

080201 ; 080203 ; 081304 ; 1403 ;

摘要：

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

引用

页码：10 / 14

页数：5