Machine Learning-based Intelligent Formal Reasoning and Proving System
Shengqing Chen, Xiaojian Huang, Jiaze Fang, Liang Jia · IOP Conference Series Materials Science and Engineering · 2018
The reasoning system can be used in many fields. How to improve reasoning efficiency is the core of the design of system. Through the formal description of formal proof and the regular matching algorithm, after introducing the machine learning algorithm, the system of intelligent formal reasoning and verification has high efficiency. The experimental results show that the system can verify the correctness of propositional logic reasoning and reuse the propositional logical reasoning results, so as to obtain the implicit knowledge in the knowledge base and provide the basic reasoning model for the construction of intelligent system.