期刊文献+

基于Ontology的平面几何知识库设计 被引量:7

DESIGNING KNOWLEDGE BASE FOR THE ELEMENTARY GEOMETRY BASED ON ONTOLOGY
下载PDF
导出
摘要 文中给出了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.
出处 《计算机应用》 CSCD 北大核心 2002年第3期10-14,共5页 journal of Computer Applications
关键词 Ontology建模方法 知识重用 启发式双向推理 平面几何知识库 人工智能 设计 Ontology KADS knowledge-reusability heuristic reasoning
  • 相关文献

参考文献5

  • 1吴文俊.初等几何判定问题与机械化证明[J].中国科学,1977,(6):507-516.
  • 2王志强.平面几何智能网络教学平台的设计技术与实现,中国科学院硕士学位论文[M].,2001..
  • 3郭四稳.基于数据库技术的自动推理系统,四川大学博士学位论文[M].,2001..
  • 4黄勇.基于前推能产生传统证明的几何自动解题,四川大学博士学位论文[M].,1999..
  • 5张维明 朱承 等.知识库系统建模框架[J].计算机世界网周报,2001,10.

共引文献9

同被引文献40

引证文献7

二级引证文献7

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部