推理方法 开始 提出假设 逆向推理 或 此假设还在 数据库中吗? 此假设成立 结束 此假设是否是 证据节点? 提问用户 找出结论部分包括此 有此事实? 假设的那些规则 以找出规则之一的 将此事实记入 个前提作为新的假设 数据库 或 结束 反向推理过程 00:03:21 A ALBA00:03:21 推理方法 逆向推理