基于复杂推理网络的自动解题方法

摘要

一种基于复杂推理网络的自动解题方法，包括以下步骤：S1：编写基础规则，S2：归纳总结数学逻辑，提取解题流程，编写规则流，规则流是由多条基础规则组合而成，用于处理数学逻辑中常见的解题模式；S3：针对触发的规则，记录下其规则名，规则的条件和结论，基础规则与规则流分别插入并保存在不同的容器中；S4：利用定时器，每经过一个时间间隔检查容器中事实数目的变化，当工作空间中存在与求解目标等价的事实或容器中的规则数目不再发生变化时，则停机；S5：自动整理并形成推理网络并正向输出。