Rule filtering method and system for mathematical proving question human-like problem solving, computer device and storage medium

Abstract

The invention discloses a rule filtering method and system for mathematical proving question human-like problem solving, a computer device and a storage medium. The rule filtering method comprises the following steps: obtaining at least one production rule, the production rule comprises a left part used for representing conditions and a right part used for representing conclusions, traversing and comparing the right parts of the production rules with the to-be-proved questions, marking the production rules as available rules when the right parts of the production rules comprise the to-be-proved questions, and obtaining the left parts of the available rules as rule filtering results. According to the method, the right generation rule corresponding to the to-be-proved problem is selected, and the left generation rule is taken as a rule filtering result, so that irrelevant generation rules can be filtered, rule redundancy in a mathematical proof problem reasoning process is reduced, combined explosion caused by excessive unnecessary rules is reduced, and the probability of failure of the mathematical proof problem reasoning process is reduced. And the problem solving efficiency of mathematical proving question human-like problem solving is improved. The method is widely applied to the technical field of computers.

Description

technical field [0001] The invention relates to the field of computer technology, in particular to a rule filtering method, system, computer device and storage medium for solving mathematical proof problems similar to human beings. Background technique [0002] Human-like problem-solving refers to a system that processes natural text input through machines, conducts logical reasoning and analysis, and provides human-like problem-solving systems. The Wu method proposed by Professor Wu Wenjun in China has achieved a breakthrough in the automatic solution and answering of geometric problems by machines. The research on mechanized automatic solution theory and automatic reasoning platform has promoted the research and discussion of a series of mathematical and information technology problems. The automatic reasoning system based on Wu's method is effective, but due to the high threshold for its use, its relevant users need to have high programming code ability and procedural pro...

AI Technical Summary

Problems solved by technology

However, there are interactions between production rules, resulting in redundancy or conflicts among the rules, which may reduce the efficiency of reasoning and make human-like problem-solving techniques have defects in consistency and integrity.

Images