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