Research And Realization Of Automatic Solving Technique For Solid Geometry Problems In Humanoid Answering System

Mathematics is the foundation of all natural sciences and an important channel for connecting technology and science.The study of information technology is essentially a study of mathematics.With the gradual development of information technology and the continuous improvement of the mathematical discipline system,more and more areas of mathematics research have been proposed.The automatic solving of mathematical problems is one of the hot research areas.Automatic machine solving refers to the automatic process of pattern recognition,cognition,logical reasoning,and calculation and verification through computer for some specific problems in the mathematics field represented by natural language texts and images and other related elements.Automatic machine solving is a comprehensive research field based on mathematical principles and computer information technology.The study of automatic machine solving has great significance in promoting the development of machine-based mathematical representations and machine intelligence.The humanoid answering system based on automatic machine solving technology has a wide application prospect in the wisdom education industry.The solution of the solid geometry problem has always been the key and difficult point in the solution of the elementary mathematics problem,and the design and realization of the automatic reasoning of the solid geometry problem in the humanoid answering system is more challenging.The main research directions of this paper is to through the representation of knowledge and logic and the construction of various reasoning process modules realizing a solid geometric automatic solving system in the humanoid answering environment.The research content of this paper is mainly composed of the following four parts:1.Representation of solid geometric knowledgeThe unified modeling and representation of common geometric entities and their relations and concept definitions in the knowledge system of the solid geometric domain.realize the digitization translation and mapping of machine entities.establish the basic data structure system for automatically solving in the field of solid geometry,convert the definition theorems,concept properties,formula axioms,and commonly used solving methods in solid geometry into machine reasoning processes.2.Research and construction of cognitive model of solid geometric problemsStudy the cognitive model of the problems related to the solid geometry.Explore the essence and characteristics of the computer cognitive model in the field of solid geometry.Establish a machine-cognition model and reasoning process for the automatic solution of the solid geometric problem,build the structure and system for cognitive model for automatic solving in solid geometric field.3.Research on automatic solution and reasoning of solid geometry problemThrough the classification and research on the method of solving solid geometric problems,the deep study of automatic reasoning technology,establishing the reasoning flow system for automatically solving of the solid geometric problems,divide the reasoning modules such as conventional reasoning and assisted reasoning,and realizing the link of conventional reasoning process and conventional solution.Designing an auxiliary reasoning module using auxiliary lines and vector coordinate systems to assist inference.Explore and analyze the theoretical basis and concrete technical implementation of the various inference modules working together.4.Design and realization of humanoid answering system for solid geometry problemBased on the humanoid answering environment to study the concrete realization logic of solving the solid geometric problem automatically,using relevant theories and techniques such as solid geometry knowledge and method representation,division of multiple inference modules and collaborative working design,research and design of automatic shut-down technology,design and realizing the humanoid answering system for solid geometry problem from code.and the system was tested and analyzed to propose constructive suggestions and future explorations.