状态空间法
问题归约法
谓词逻辑法
语义网络法
第1题：
此题为判断题(对，错)。
第2题：
第3题：
A.该问题的规模缩小到一定的程度就可以容易地解决
B.该问题可以分解为若干个规模较小的相同问题，即该问题具有最优子结构性质
C.利用该问题分解出的子问题的解不可以合并为该问题的解
D.原问题所分解出的各个子问题是相互独立的，即子问题之间不包含公共的子问题
第4题：
已知初始问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。这是知识表示法叫（）
第5题：
第6题：
A.
B.所有可能的问题初始状态集合S
C.操作符集合F
D.目标状态集合G
E.描述谓词集合P
第7题：
A、不断用变量的旧值递推新值的过程
B、把全部可行的解空间不断分割为越来越小的子集(称为分支)，并为每个子集内的解的值计算一个下界或上界
C、将原问题分解为相似的子问题，在求解的过程中通过子问题的解求出原问题的解
D、一种用若干步可重复的简运算(规律)来描述复杂问题的方法
第8题：
人们在解决问题时，通过增加初始状态与目标状态的差异以最终达到解决问题的目的，这种解决问题的方法是【 】
A．启发式
B．手段——目的分析法
C．爬山法
D．算法式
第9题：
（）方法是一种将复杂问题变换为比较简单的子问题，子问题再转换为更简单的子问题，最终将问题转换为对本原问题的知识表示方法。
第10题：
“根据问题解决的需要转变研究对象的内容或形式，即把困难的问题转化为已知的或新形式的问题，利用变换后新形式的方便和变换中的不变性，通过对已知问题或新形式问题的解决，获得原问题的解决。”这种思想体现了数学中的（）