%0 Journal Article
%T Acquisition and Analysis of University-Level Knowledge of Mathematical Analysis<br>大学水平的“数学分析知识”的获取和分析研究
%A LIU Han-Wu
%A CAO Cun-Gen
%A ZENG Qing-Tian
%A <br>刘汉武
%A 曹存根
%A 曾庆田
%J 计算机科学
%D 2005
%I 
%X Over the past decades mathematical software systems have become increasingly powerful and complex. The integration of mathematical formal systems is highly desirable. Web-oriented platforms of distributed mathematical services enable mathematical activities to be implemented on the Web. All those require an underlying, shareable, and content-oriented mathematical repository. In this paper, based on ontology, frame representation, predicate logic and type, we present a knowledge representation for mathematical analysis. A concept-oriented knowledge acquisition has been developed and with the method we have extracted all the main concepts and theorems from a university-level textbook on mathematical analysis. The paper will also discuss possible errors that a knowledge engineer may commonly make in acquiring mathematical knowledge.
%K Mathematical knowledge
%K Ontology
%K Frame
%K Predicate calculus
%K Type
%K Knowledge representation
%K Knowledge acquisition<br>数学知识
%K 本体
%K 框架
%K 逻辑
%K 类型
%K 知识表示
%K 知识获取
%K 数学分析
%K 大学本科
%K 知识库
%K 知识获取过程
%K 水
%K 数学相关
%K 数学平台
%K 数学系统
%K 软件系统
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=6329156223FCA598&yid=2DD7160C83D0ACED&vid=9971A5E270697F23&iid=F3090AE9B60B7ED1&sid=7F5DDA4924737DF5&eid=AE09EACBCD1B2A13&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=33