A method for Representation the Knowledge of Functions and Operators and Application

Abstract

Computational Objects Knowledge Base (COKB) model is very useful for building knowledge bases of intelligent systems, especially for designing intelligent problems solver systems. This model is constructed based on ontology and object-oriented approach. Objects in COKB model have the structure and behaviors to solve problems on themselves. This model had algorithms for solving general problems on it. However, the reasoning on the knowledge of functions and operators has not yet been researched completely. In this paper, we will present techniques for reasoning on the knowledge of functions and operators in COKB model. These results have been also applied to design an intelligent problems solver in Linear Algebra in the mathematic curriculum of the university.