基于本体的数学知识获取与知识继承机制研究

被引：8

作者：

曾庆田

曹存根

眭跃飞

司晋新

田国刚

刘汉武

机构：

[1] 中国科学院计算技术研究所智能信息处理重点实验室,中国科学院计算技术研究所智能信息处理重点实验室,中国科学院计算技术研究所智能信息处理重点实验室,中国科学院计算技术研究所智能信息处理重点实验室,中国科学院计算技术研究所智能信息处理重点实验室,中国科学院计算技术研究所智能信息处理重点实验室北京山东科技大学计算机科学与技术系,泰安,北京,北京,北京,北京,北京

来源：

微电子学与计算机 | 2003年 / 09期

关键词：

本体; 框架; 逻辑; 数学知识; 知识表示; 知识获取; 知识树; 一致性; 完备性;

D O I：

10.19304/j.cnki.issn1000-7180.2003.09.006

中图分类号：

TP311.13 [];

学科分类号：

1201 ;

摘要：

基于本体、框架和逻辑给出了数学知识表示语言,采用了面向概念的数学知识获取方法,利用半自动的方式对数学知识进行了获取。提出了知识树的概念用于所获得的知识的管理,设计并实现了数学知识获取和管理平台。研究了数学概念知识体系结构以及概念之间的知识继承机制,并对知识继承的一致性进行了分析。在数学知识的应用方面,对基于Web的数学知识问答系统、数学智能教学系统、数学知识的多语言版本自动生成等进行了初步的探讨。

引用

页码：19 / 27+75 +75

页数：10