正向推理又称数据驱动推理是按照由条件推出结论的方向进行的推理方式它从一组事实出发使用一定的推理规则来证明目标事实或命题的成立一般的推理过程是先向综合数据库提供一些初始已知事实控制系统利用这些数据与知识库中的知识进行匹配被触发的知识将其结论作为新的事实添加到综合数据库中重复上述过程用更新过的综合数据库中的事实再与知识库中另一条知识匹配将其结论更新至综合数据库中直到没有可匹配的新知识和不再有新的事实加入到综合数据库中为止然后测试是否得到解有解则返回解无解则提示运行失败 1 将用户提供的初始已知事实送入综合数据库 2 检查综合数据库中是否已经包含问题的解若有则求解结束否则执行下一步 3将初始已知事实与知识库中的知识做匹配若有则转4否则转6 4将所有的匹配成功的知识构建成一个知识集 5若知识集不为空则按某种冲突消解策略选择一条规则进行推理并将其推出的新事实更新至综合数据库然后转2若知识集为空则转6 6询问用户是否可提供新的事实若有则将其添加至综合数据库转3否则表示问题求解失败退出 正向推理控制策略的优点在于用户可以主动地提供问题的相关信息新事实并且及时给出反应不足之处在于求解过程中执行许多与问题无关的操作有一定的盲目性效率较低在推理过程中可能推出许多和问题无关的子目标 异常原因分析和控制决策的正向推理流程