Intelligent Problem Solving based on COKB Model

Intelligent problem solvers must have suitable knowledge base used by the inference engine to solve problems in certain knowledge domain, and they can solve problems in general forms. Knowledge representation models should be convenient for designing the knowledge base, inference engine and interface of the system. This article presents a design method using the model of computational objects knowledge bases to design the above intelligent software. The method has been used in designing software for solving problems in analytic geometry, and in solid geometry. The systems have been implemented, and produce good solutions.