期刊文献+

几何知识库的设计与实现 被引量:5

Design and implementation of geometric knowledge base
下载PDF
导出
摘要 设计通用几何知识库,实现不同动态几何软件的数据重用与共享,为几何软件提供数据支持是目前知识管理工程研究的新方向。通过分析几何软件的数据需求,研究几何知识数据的标准化和结构化问题。为了应对几何知识数据的复杂性,我们采取先封装再组织的策略,提出了将几何知识标准化和结构化的思路和框架,并据此设计实现了一个初级的几何知识库系统。 The design of a geometric knowledge base that stores standardized and formalized geometric knowledge data was presented.Emphasis was placed on the design of the structure rather than the representation of the knowledge data.In order to manage the complexity,authors adopted a key strategy that aimed at encapsulating certain knowledge data into knowledge objects by analyzing the data requirements and then organizing the knowledge objects by modeling and Abstracting the hierarchic structure of relations among ...
出处 《计算机应用》 CSCD 北大核心 2009年第2期398-402,405,共6页 journal of Computer Applications
基金 国家973计划(2004CB318000、2005CB321901/2) 软件开发环境国家重点实验室开放课题资助项目(SKLSDE-07-003)
关键词 几何知识库 几何知识数据的标准化和形式化 基于网络的知识库 geometric knowledge base system standardization structure and formalization of geometric knowledge data web-based knowledge data
  • 相关文献

同被引文献34

  • 1高小山,蒋鲲.几何约束求解研究综述[J].计算机辅助设计与图形学学报,2004,16(4):385-396. 被引量:43
  • 2佘莉,符红光.基于自然语言处理的计算机几何作图[J].计算机应用,2005,25(1):7-10. 被引量:3
  • 3郑文怡,鞠时光.模式匹配方法研究[J].计算机应用研究,2006,23(2):60-63. 被引量:10
  • 4刘伟,符红光,佘莉.基于语义的几何知识库搜索引擎的设计与实现[J].计算机应用,2007,27(B06):76-77. 被引量:4
  • 5吴振奎.世界数学奥林匹克解题大辞典[M].河北:少年儿童出版社,2002.
  • 6Chou Shang-ching, Gao Xiao-shan, Zhang Jing-zhong. Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems[M]. World Scientific, 1994.
  • 7张景中.计算机怎样解几何题-谈谈自动推理[M].北京:清华大学出版社,广州:暨南大学出版社,2000.
  • 8Wikipedia. Open educational resources [ EB/OL]. [ 2013 -10 - 16]. http://en. wikipedia. org/wiki/Open_educational_resources.
  • 9CHOU S C, GAO X S. Automated reasoning in geometry [ C]// Handbook of Automated Reasoning: Volume I. Amsterdam: Elsevi- er, 2001.
  • 10Wikipedia. List of Interactive Geometry Software [ EB/OL]. [ 2003 -06 - 18]. http://en. wikipedia. org/wiki/List_of_interactive_ge- ometry_software.

引证文献5

二级引证文献3

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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