Intelligent problem solving about functional component of COKB model and application

Abstract

Knowledge representation models and automated reasoning algorithms are the most important problems in designing knowledge-based systems in artificial intelligence, especially in intelligent problem solver (IPS). One of effective models is the Computational Object Knowledge Base model (the COKB model), which can be used to represent the total knowledge and to design the knowledge base of practical intelligent systems. However, besides the well-known knowledge components like concepts, relations, rules, there is another popular form of the knowledge, but has not been deeply researched. It is the functional knowledge component consisting of functions, relations, facts and rules and automated reasoning algorithms on functions. Consequently, in this paper, we will introduce the five-component COKB model and present in detail the knowledge representation method and automated reasoning algorithms for knowledge component about functions. In addition, this method has been used to design and implement an effective application, which can solve problems in solid geometry and produces step-by-step solutions.