推理方法 始 令1=1 依据提 供的事实， 取出规则I的前提部分 利用知识库， 这些前提 通过程序运 是否都在数据库中 1=I+1 行（推理）， Y 获得结果； 取出规则/的结论部分 推理方法： 结论是否为 结论是否为 新事实 新事实 正向推理 Y N 将结论加入数据库 逆向推理 正向推理过程 23:08:23 页下
23:08:23 推理方法 依据提 供的事实， 利用知识库， 通过程序运 行（推理）， 获得结果； 推理方法： 正向推理 逆向推理
推理方法 开始 提出假设 逆向推理 VN 或 此假设还在 数据库中吗？ 此假设成立 结束 N 此假设是否是 证据节点？ 提问用户 N 找出结论部分包括此 有此事实？ 假设的那些规则 P 以找出规则之一的一 将此事实记入 个前提作为新的假设 数据库 或 结束 反向推理过程 23:0823
23:08:23 推理方法 逆向推理