推理方法 始 令1=1 依据提 供的事实， 取出规则I的前提部分 利用知识库， 这些前提 通过程序运 是否都在数据库中 1=I+1 行（推理）， Y 获得结果； 取出规则/的结论部分 推理方法： 结论是否为 结论是否为 新事实 新事实 正向推理 Y N 将结论加入数据库 逆向推理 正向推理过程 23:08:23 页下23:08:23 推理方法 依据提 供的事实， 利用知识库， 通过程序运 行（推理）， 获得结果； 推理方法： 正向推理 逆向推理