Machine Learning-based Intelligent Formal Reasoning and Proving System
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.
ShengqingChen Xiaojian Huang Jiaze Fang Jia Liang
Computer college,Jiaying University,Guangdong,China
国际会议
上海
英文
1-7
2017-12-28（万方平台首次上网日期，不代表论文的发表时间）