基于复杂推理网络的自动解题方法
基本信息
| 申请号 | CN201810979453.1 | 申请日 | - |
| 公开（公告）号 | CN109271511A | 公开（公告）日 | 2019-01-25 |
| 申请公布号 | CN109271511A | 申请公布日 | 2019-01-25 |
| 分类号 | G06F16/35;G06F16/36;G06Q50/20 | 分类 | 计算；推算；计数; |
| 发明人 | 李巧艳;谢德刚 | 申请（专利权）人 | 上海互教智能科技有限公司 |
| 代理机构 | - | 代理人 | - |
| 地址 | 201210 上海市浦东新区中国(上海)自由贸易试验区张江路368号29幢211室 | ||
| 法律状态 | - | ||
摘要
| 摘要 | 一种基于复杂推理网络的自动解题方法，包括以下步骤：S1：编写基础规则，S2：归纳总结数学逻辑，提取解题流程，编写规则流，规则流是由多条基础规则组合而成，用于处理数学逻辑中常见的解题模式；S3：针对触发的规则，记录下其规则名，规则的条件和结论，基础规则与规则流分别插入并保存在不同的容器中；S4：利用定时器，每经过一个时间间隔检查容器中事实数目的变化，当工作空间中存在与求解目标等价的事实或容器中的规则数目不再发生变化时，则停机；S5：自动整理并形成推理网络并正向输出。 |
