-
题名几何知识库的设计与实现
被引量：5
- 1
-
-
作者
王东明
黄荧
陈肖宇
-
机构
北京航空航天大学理学院 法国国家科学研究中心巴黎六大计算机科学实验室
-
出处
《计算机应用》
CSCD
北大核心
2009年第2期398-402,405,共6页
-
基金
国家973计划(2004CB318000、2005CB321901/2)
软件开发环境国家重点实验室开放课题资助项目(SKLSDE-07-003)
-
文摘
设计通用几何知识库,实现不同动态几何软件的数据重用与共享,为几何软件提供数据支持是目前知识管理工程研究的新方向。通过分析几何软件的数据需求,研究几何知识数据的标准化和结构化问题。为了应对几何知识数据的复杂性,我们采取先封装再组织的策略,提出了将几何知识标准化和结构化的思路和框架,并据此设计实现了一个初级的几何知识库系统。
-
关键词
几何知识库
几何知识数据的标准化和形式化
基于网络的知识库
-
Keywords
geometric knowledge base system
standardization
structure
and formalization of geometric knowledge data
web-based knowledge data
-
分类号
TP182
[自动化与计算机技术—控制理论与控制工程]
-
-
题名面向平面几何的自然语言作图研究
被引量：1
- 2
-
-
作者
郭海燕
刘清堂
陈矛
黄焕
葛强
-
机构
华中师范大学国家数字化学习工程技术研究中心
华中师范大学信息技术系
-
出处
《计算机科学》
CSCD
北大核心
2012年第B06期503-506,共4页
-
基金
国家科技重大专项核高基项目(2010ZX01045-001-005-3)资助
-
文摘
在计算机几何作图软件日趋成熟的情况下,如何让用自然语言描述的几何命题自动生成几何图形一直是几何作图软件研究中的难题。结合已有几何作图软件的需求,通过对几何自然语言的研究,建立了一套有效可行的语言理解模型,设计并开发了由几何自然语言向几何作图命令转换的接口,实现了将自然语言描述的几何命题自动转换为几何作图命令并生成几何图形的功能。测试结果表明,其转换正确率在84.17%以上。
-
关键词
自然语言
几何作图
几何知识库
模式匹配
-
Keywords
Natural language； Geometric drawing； Geometric knowledge base； Pattern matching
-
分类号
TP182
[自动化与计算机技术—控制理论与控制工程]
-
-
题名形式化几何知识库的设计与构建
- 3
-
-
作者
张雨
-
机构
北京航空航天大学数学与系统科学学院
-
出处
《信息技术》
2018年第5期139-144,共6页
-
文摘
几何学知识内容丰富、形式多样、结构复杂。如何在现代计算设备上对几何知识进行高效管理是一个亟待研究的问题。基于一种标准化的几何描述语言,文中研究几何定理的形式化表示与自动验证,设计并构建一个含有五百余条形式化几何定理并具有增删与检索功能的知识库。该知识库能够为几何知识的标准化、共享和验证研究提供示例和数据,也可用于几何知识的智能管理和几何教学。
-
关键词
形式化表示
自动推理
知识管理
几何知识库
-
Keywords
formalization
automated theorem proving
knowledge management
geometric knowledge base
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于Ontology的平面几何知识库设计
被引量：7
- 4
-
-
作者
吴文渊
曾振柄
符红光
-
机构
中国科学院成都计算机应用研究所自动推理实验室
-
出处
《计算机应用》
CSCD
北大核心
2002年第3期10-14,共5页
-
文摘
文中给出了Ontology建模方法在平面几何知识库设计中的一个应用实例。先从总体上介绍了Ontology建模方法的思想、框架结构及优点。再详细描述了平面几何知识库的设计、组织结构及其实现。我们提出概念分层 ,等价类存贮 ,启发式双向推理 ,推理经验生成 ,交互解题 ,数字测试等多种平面几何知识库的相关技术 ;能生成与“吴法”等代数方法不同的、传统的、较优的可读证明 ;并提高了系统的重用性、可靠性。
-
关键词
Ontology建模方法
知识重用
启发式双向推理
平面几何知识库
人工智能
设计
-
Keywords
Ontology
KADS
knowledge-reusability
heuristic reasoning
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
