System for semantic analysis and automatic solution of mathematical application problem

A system for semantic analysis and automatic solution of a mathematical application problem, comprising:

• at least one processor;
• and
• a memory storing instructions that, when executed by the at least one processor, cause the system to perform operations comprising:
• generating a clause vocabulary sequence of the mathematical application problem based on an input text, and performing mode matching on the clause vocabulary sequence with a semantic framework, to form local semantic information of the mathematical application problem, wherein the local semantic information represents local semantics between clause vocabularies, and the semantic framework matched with the clause vocabulary sequence expresses the local semantics;
• forming a local feature vocabulary string of each of multiple scenarios based on a feature vocabulary that represents scenario semantics in a labeled clause vocabulary sequence, and forming a global semantic feature vocabulary string of each of the multiple scenarios through semantic inheritance and semantic overloading of the local feature vocabulary string of each of the multiple scenarios, wherein the scenario semantics comprises global semantics and local semantics;
• based on the local feature vocabulary string of each scenario, performing global semantic naming on data meta-variables of a clause through a technology of inheritance and overloading of global semantics between a synonym and the clause;
• explicitly expressing an explicit computation rule and an implicit computation rule between the data meta-variables, to construct a dynamic semantic circle, wherein the data meta-variables comprise an explicit known-value data meta-variable, a questionable data meta-variable, and an implicit intermediate data meta-variable;
• and the dynamic semantic circle comprises an explicitly-expressed computation rule, an implicitly-expressed computation rule, and a solution formula;
• and
• solving the questionable data meta-variable based on the explicit known-value data meta-variable, the implicit intermediate data meta-variable, and the dynamic semantic circle.