Design And Implementation Of A Plane Geometry Reasoning System Based On Expert Systems

One of the branches of artificial intelligence — — expert system is an important theoretical tool commonly used in decision analysis in intelligent systems.The machine proof of the theorem of mathematical plane geometry is a method of expert system combined application of mathematics and computer.Based on the analysis of the structure of the expert system and the production reasoning system,this paper uses the RETE algorithm as the core algorithm to construct a plane geometric reasoning system that uses forward reasoning as a conventional reasoning decision,and implements reverse reasoning in the system.The reasoning method for inferring decision-making reduces the number of facts that are not directly related to the target conclusion produced in conventional forward reasoning.The research content of this paper can be mainly divided into the following aspects:First,analyze the representation method of knowledge and choose the appropriate method.In this paper,according to the structure of the expert system,the knowledge is divided into two categories,and different representation and storage methods are adopted according to different specific architectures.It includes the knowledge used to represent objective existence or composed of objective concepts and the knowledge composed of related content of plane geometry and mathematics.Then,according to the principles of each component of the expert system,a plane geometric reasoning system is designed.It includes three components of the expert system:fact base,rule base and inference engine.The inference engine part of this article uses the RETE algorithm as the core,and builds an inference engine on the PYTHON platform according to its principle.And for the part of the fact base,the geometric knowledge is classified and designed,mainly divided into geometric entity classes and geometric relationship classes,and a set of standardized data structures are designed for them;and for the rule base part,also for junior high school mathematics plane geometry Knowledge points design standardized data structures and storage structures.Finally,the system implements the reasoning method with reverse reasoning as the reasoning decision-making measure.Mathematical inverse reasoning is a way of thinking involved in mathematical analysis.Aiming at the logical mode of reverse reasoning,this paper designs a set of reverse reasoning reasoning methods in the system to assist conventional forward reasoning.Then analyze the characteristics and properties of reverse reasoning,compare it with forward reasoning,and analyze it by giving examples.