开始 开始 正向推理 逆向推理 需要 需要 逆向推理 正向推理 Y Y 输出结果 输出结果 以正向推理所得 结果作为假设进 进行正向推理 行逆向推理 结束 结束 还需要 还需要 N 正向推理 逆向推理 两种推理的示意图开始 正向推理 需要 逆向推理 以正向推理所得 结果作为假设进 行逆向推理 还需要 正向推理 输出结果 结束 Y Y N N 开始 逆向推理 需要 正向推理 进行正向推理 还需要 逆向推理 输出结果 结束 Y Y N N 两种推理的示意图