Methods for Mathematical Concept Knowledge Representation, Acquisition and Management within NKIMath

摘要

A shareable mathematical knowledge base is needed in many computer applications (e.g. computer-aided instruction, mathematical reasoning and engineering computation), and developing such a knowledge base is a great challenge not only because mathematics is now divided into many branches and a tremendous amount of knowledge has been accumulated, but also because numerous errors may probably be made in the knowledge base, thus reducing its utility. In this paper, we present a framework for developing a mathematical knowledge base. The framework consists of three major parts: (1) A knowledge formalization method and a frame-based logical language for representing the mathematical knowledge, (2) a concept-oriented knowledge acquisition method, and (3) a management environment for the acquired knowledge.