摘要：Nowadays the intelligent system is used to support learning. The Intelligent Problem Solver (IPS) in education is a system which can solve problems automatically, and its proofs are step-by-step and suitable with the knowledge level of learners. In the course of plane geometry, besides the solution, the figure helps to imagine and grasp the important information from the problem. In this paper, an IPS in Plane Geometry is constructed. This system can give the solution to a problem with its visual figure. The knowledge model of relations (Rela-model) is applied to represent the knowledge base of plane geometry. The relational network representing the relations between geometric objects is the combination between Rela-model and conceptual graph. This network is used to design algorithms for automatic drawing of the figure. Rela-model with related problems is used to design algorithms for solving geometry problems. The IPS in plane geometry can solve common exercises in the mathematical curriculum at Vietnamese middle-school and it is useful to support the learning of pupils.
关键词：knowledge representation; intelligent problem solver; knowledge of relations; relational network; automated reasoning; knowledge engineering.
