国家知识基础设施中的数学知识表示

孙瑜1曹存根2曾庆田2眭跃飞2

1.中国科学院; 2.中国科学院大学;

摘要：

数学知识表示是知识表示中的一个重要方面,是数学知识检索、自动定理机器证明、智能教学系统等的基础.根据在设计NKI(national knowledge infrastructure)的数学知识表示语言中遇到的问题,并在讨论了数学对象的本体论假设的基础上提出了两种数学知识的表示方法:一种是以一个逻辑语言上的公式为属性值域的描述逻辑;另一种是以描述逻辑描述的本体为逻辑语言的一部分的一阶逻辑.在前者的表示中,如果对公式不作任何限制,那么得到的知识库中的推理不是可算法化的;在后者的表示中,以描述逻辑描述的本体中的推理是可算法化的,而以本体为逻辑语言的一部分的一阶逻辑所表示的数学知识中的推理一般是不可算法化的.…展开v

关键词：数学知识、框架、描述逻辑、本体

所属期刊栏目：17

分类号：TP311(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划2003CB317008;G1999032701;国家研究发展基金

在线出版日期：2006-09-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共12页

页码：1731-1742