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