大学水平的“数学分析知识”的获取和分析研究

计算机科学 ›› 2005, Vol. 32 ›› Issue (10): 118-123.

• 计算机网络与信息安全 • 上一篇下一篇

大学水平的“数学分析知识”的获取和分析研究

出版日期:2018-11-17 发布日期:2018-11-17
基金资助:
本文中的工作受到国家自然科学基金（课题号#60273019）和科技部重大基础研究专项（课题号#2001CCA03000）联合资助;还受到首都师范大学实验室开放资金资助.

Online:2018-11-17 Published:2018-11-17

摘要/Abstract

摘要： 在过去的几十年里,数学软件系统变得越来越强大和复杂.各种数学系统的集成变得非常有意义.基于Web的分布式数学平台使得与数学相关的活动（称之为数学服务）都可以在Web上得以实现.所有这些都需要一个底层的、可共享的、面向内容的知识库作为支撑.本文介绍一个大学水平的、可共享的数学分析知识库的获取和分析方法.NKIMath采用基于本体、框架、逻辑和类型的形式表示,采用面向概念的知识获取方法,从一套大学本科数学分析课本（2本）中获取了所有主要概念和定理.本文还总结和分析了知识获取过程中出现的错误.

关键词: 数学知识本体框架逻辑类型知识表示知识获取数学分析大学本科知识库知识获取过程水数学相关数学平台数学系统软件系统

Abstract: 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 activiti

Key words: Mathematical knowledge, Ontology, Frame, Predicate calculus, Type, Knowledge representation, Knowledge acquisition

. 大学水平的“数学分析知识”的获取和分析研究[J]. 计算机科学, 2005, 32(10): 118-123. https://doi.org/