| 基于本体的数学知识获取与知识继承机制研究 |
| |
| 引用本文： | 曾庆田,曹存根,眭跃飞,司晋新,田国刚,刘汉武.基于本体的数学知识获取与知识继承机制研究[J].微电子学与计算机,2003,20(9):19-27,75. |
| |
| 作者姓名： | 曾庆田 曹存根 眭跃飞 司晋新 田国刚 刘汉武 |
| |
| 作者单位： | 1. 中国科学院计算技术研究所智能信息处理重点实验室,北京,100080;山东科技大学计算机科学与技术系,泰安,271019
2. 中国科学院计算技术研究所智能信息处理重点实验室,北京,100080 |
| |
| 基金项目： | 国家自然科学基金资助项目(#60273019，)科技部重大基础研究专项联合基金项目(#2001CCA03000) |
| |
| 摘 要： | 基于本体、框架和逻辑给出了数学知识表示语言，采用了面向概念的数学知识获取方法，利用半自动的方式对数学知识进行了获取。提出了知识树的概念用于所获得的知识的管理，设计并实现了数学知识获取和管理平台。研究了数学概念知识体系结构以及概念之间的知识继承机制，并对知识继承的一致性进行了分析。在数学知识的应用方面，对基于Web的数学知识问答系统、数学智能教学系统、数学知识的多语言版本自动生成等进行了初步的探讨。
|
| 关 键 词： | 数学软件 数学知识获取 本体 知识继承机制 知识表示 人工智能 |
Research on Ontology-based Mathematical Knowledge Acquisition and Knowledge Heritance Mechanism |
| |
| ZENG Qing-tian ,CAO Cun-gen ,SUI Yue-fei ,SI Jin-xin ,TIAN Guo-gang ,LIU Han-wu.Research on Ontology-based Mathematical Knowledge Acquisition and Knowledge Heritance Mechanism[J].Microelectronics & Computer,2003,20(9):19-27,75. |
| |
| Authors: | ZENG Qing-tian CAO Cun-gen SUI Yue-fei SI Jin-xin TIAN Guo-gang LIU Han-wu |
| |
| Institution: | ZENG Qing-tian 1,2,CAO Cun-gen 1,SUI Yue-fei 1,SI Jin-xin 1,TIAN Guo-gang 1,LIU Han-wu 11 |
| |
| Abstract: | A mathematical knowledge representation languagebinding ontology,frame and logic is introduced,and a concept-oriented mathematical knowledge acquisition method is applied for the mathematical concept,theorem and example knowledge semiautomatic acquisition.In order to manage the knowledge acquired,we develop the knowledge editor and management environment,in which an idea of knowledge tree is contained.We also have a deep research on the mathematical concept hierarchy and the knowledge inheritance mechanism between mathematical concepts.Applications based on the knowledge acquired,such as Web-based mathematical knowledge query,mathematical intelligent introduction system,and multi-lingual mathematical knowledge base,are discussed. |
| |
| Keywords: | Ontology Frame Logic Mathematical Knowledge Knowledge Representation Knowledge acquisition Knowledge Tree Consistency Completeness |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
