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

【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.更多还原