形式化几何知识库的设计与构建

• 作者: 张雨
• 来源期刊: 信息技术
• 学科: 工学
• 关键词: 形式化表示 自动推理 知识管理 几何知识库
• 年，卷（期）: 2018,（5）
• 所属期刊栏目: 应用技术
• 页码范围: 139-144
• 页数: 6页
• 分类号: TP311
• 字数: 4209字
• 语种: 中文
• DOI: 10.13274/j.cnki.hdzj.2018.05.031

摘要

几何学知识内容丰富、形式多样、结构复杂.如何在现代计算设备上对几何知识进行高效管理是一个亟待研究的问题.基于一种标准化的几何描述语言,文中研究几何定理的形式化表示与自动验证,设计并构建一个含有五百余条形式化几何定理并具有增删与检索功能的知识库.该知识库能够为几何知识的标准化、共享和验证研究提供示例和数据,也可用于几何知识的智能管理和几何教学.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张雨	北京航空航天大学数学与系统科学学院	2	13	1.0	2.0