Designing an Intelligent Problems Solving System Based on Knowledge about Sample Problems

摘要

In computer science and information technology, ontology has been researched and developed in application for knowledge representation. COKB model (Computational Object Knowledge Base) is an ontology was researched and applied in designing knowledge base systems, such as domain of knowledge about analytic geometry, linear algebra. However, when dealing with a practical problem, we often do not immediately find a new solution, but we search related problems which have been solved before and then proposing an appropriate solution for the problem. In this paper, the extension model of ontology COKB has been presented. In this model, Sample Problems, which are related problems, will be used like the experience of human about practical problem, simulate the way of human thinking about finding solution of problem. Besides that, the architect of Intelligent Problem Solving system has been researched and applied. Using this architect and extension COKB model is applied to construct the system for automatic solving problems on knowledge about plane geometry.