(4)双向推理：正向推理与逆向推理同时进行 基本思想：一方面根据已知事实进行正向推理， 但并不推到最终目标；另一方面从某假设目 标出发进行逆向推理，但并不推到原始事实， 而是让它们中途相遇，即由正向推理所得的 中间结论恰好是逆向推理所要求的证据，这 是推理可结束。困难在于‘碰踫头)的判断 (⑤)求解策略：是指推理只有一个解，还是求所 有解以及最优解等 (6)限制策略：为了防止无穷推理过程，以及由 于推理过程太长增加时间及空间的复杂性， 可在控制策略中制定推理的限制条件，以对 推理的深度，宽度，时间，空间等进行限制。 (4)双向推理：正向推理与逆向推理同时进行 基本思想：一方面根据已知事实进行正向推理， 但并不推到最终目标；另一方面从某假设目 标出发进行逆向推理，但并不推到原始事实， 而是让它们中途相遇，即由正向推理所得的 中间结论恰好是逆向推理所要求的证据，这 是推理可结束。困难在于‘碰头’的判断 (5)求解策略：是指推理只有一个解，还是求所 有解以及最优解等 (6)限制策略：为了防止无穷推理过程，以及由 于推理过程太长增加时间及空间的复杂性， 可在控制策略中制定推理的限制条件，以对 推理的深度，宽度，时间，空间等进行限制