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