名词解释： 1 状态空间法 状态空间法是一种基于解答空间的问题表示和求解方法，它是以状态和操作符为基础的。在利用状态空间图表示时，从某个初始状态开始，每次加一个操作符，递增地建立起操作符的试验序列，直到达到目标状态为止。由于状态空间法需要扩展过多的节点，容易出现“组合爆炸”，因而只适用于表示比较简单的问题。 2 问题归约法 问题归约法从目标(要解决的问题)出发，逆向推理，通过一系列变换把初始问题变换为子问题集合和子子问题集合，直至最后归约为一个平凡的本原问题集合。这些本原问题的解可以直接得到从而解决了初始问题，用与或图来有效地说明问题归约法的求解途径。 3 有序搜索 应用某个算法(例如等代价法)选择 OPEN 表上具有最小 f 值的节点作为下一个要扩展的节点, 这种搜索方法叫做有序搜索或最佳优先搜索, 其算法就叫做有序搜索算法或最佳优先算法. 实质：选择 OPEN 表上具有最小 f 值的节点（即最有希望的节点）作为下一个要扩展的节点。 4 可解节点 可解节点：与或图中一个可解节点的一般定义可以归纳如下： 1、终叶节点是可解节点(因为它们与本原问题相关连)。 2、如果某个非终叶节点含有或后继节点，那么只有当其后继节点至少有一个是可解的时，此非终叶节点才是可解的。 3、如果某个非终叶节点含有与后继节点，那么只要当其后继节点全部为可解时，此非终叶节点才是可解的。 5 不可解节点 不可解节点的一般定义 没有后裔的非终叶节点为不可解节点。 如果某个非终叶节点含有或后继节点,那么只有当其全部后裔为不可解时,此非终叶节点才是不可解的。 如果某个非终叶节点含有与后继节点，那么只要当其后裔至少有一个为不可解时,此非终叶节点才是不可解的。 6 规则正向演绎系统 正向规则演绎系统是从事实到目标进行操作的，即从状况条件到动作进行推理的，也就是从if 到then 的方向进行推理的。 7 规则逆向演绎系统 逆向规则演绎系统是从then 向 if 进行推理,即从目标或动作向事实或状况条件进行的推理。 8 等代价搜索 是宽度优先搜索的一种推广，不是沿着等长度路径断层进行扩展，而是沿着等代价路径断层进行扩展，寻找从起始状态至目标状态的具有最小代价的路径问题。搜索树中每条连接弧线上的有关代价，表示时间、距离等花费。 9 扩充转移网络(ATN) 扩充转移网络ATN 是由一组网络所构成的，每个网络都有一个网络名，每条弧上的条件扩展为条件和操作两部分。它采用...
