Branch Reasoning Architecture And Implementation In Automatic Solution Of Elementary Mathematical Problems

With the deepening of artificial intelligence research and the development of modern computer technology,it will have a far-reaching impact on people' lifestyle and social organization structure.While artificial intelligence brings convenience to people's daily life,it will also bring changes in the field of scientific research and education.The development of artificial intelligence will promote the development of scientific research and education in the depth direction.Just because of above-mentioned background,this paper is mainly concerned with the branching reasoning architecture in the automated solving of elementary mathematical problems,designs and implements an automated solving system for elementary mathematical problems based on branching reasoning architecture.The primary contents of this paper are summarized as follows:1.The knowledge representation of elementary mathematical problemsThe knowledge representation of elementary mathematical problems includes the representation of related entities,the representation of relationships among entities and the representation of reasoning basis in elementary mathematics.In this paper,we the concepts involved in elementary mathematics by category and represent them in an object-oriented way.Data is used to represent atomic knowledge and Relation is used to represent the relationship among multiple Data or Relations.The representation of reasoning basis includes the representation of some common sense,axioms,theorems and deductions in elementary mathematics.We build structurally consistent models for these axioms,theorems,inferences and other mathematical theories,so that the computer can use these models to reason out new knowledge to achieve the purpose of solving problems.Such models are mainly implemented by writing rules in the system.2.Research on branching reasoning architecture based on knowledge baseIn the process of problem solving,there are often cases involving classified discussion.By establishing branching knowledge bases,we can split "or" relationships into individual relationships and make them reasoning without interference in their respective independent knowledge bases;then we can use the contradiction detection mechanism to test the knowledge generated by the inference,gradually reduce the branches or derive the branches and merge the branches;finally we can solve the problem and get the complete process of problem solving at the same time.This is branching reasoning.When studying the branching reasoning architecture,we separately researched and explored the key technologies in the branching architecture,including the specific knowledge representation of the branch,the module composition of the branching reasoning architecture,the branching reasoning strategy and the external branching technology.3.Implementation of an automated problem-solving system based on branching reasoning.The elementary mathematical knowledge in the system is represented and stored in the form of objects.Through the cooperation of modules such as natural language understanding,pretreatment,main knowledge base,external knowledge base,controller,branching reasoning and symbolic computation,a complete automated solving system for elementary mathematics problems with the function of human-like answering is formed.And in the system,a multi-solution module is designed and implemented creatively,so that the system has the function of solving some typical problems in elementary mathematics by various methods.