产生式系统的推理不包括（）

单项选择题产生式系统的推理不包括（）

A.正向推理
B.逆向推理
C.双向推理
D.简单推理

1.单项选择题已知初始问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。这是知识表示法叫（）

A.状态空间法
B.问题归约法
C.谓词逻辑法
D.语义网络法

2.单项选择题神经网络研究属于下列（）学派

A、符号主义
B、连接主义
C、行为主义
D、都不是

3.单项选择题下列哪个不是人工智能的研究领域（）

A.机器证明
B.模式识别
C.人工生命
D.编译原理

4.单项选择题人工智能的含义最早由一位科学家于1950年提出，并且同时提出一个机器智能的测试模型，请问这个科学家是（）。

A.明斯基
B.扎德
C.图灵
D.冯.诺依曼

5.填空题引入启发式知识来指导OPEN表中节点的排序可划分为二种方式（）搜索和局部择优搜索。

6.填空题常用的二种盲目搜索方法是（）搜索和完全式搜索。

7.填空题P（B|A）表示在规则A→B中，证据A为真的作用下结论B为真的（）。

8.填空题产生式系统的推理过程中，从可触发规则中选择一个规则来执行，被执行的规则称为（）。

9.填空题合一算法：求非空有限具有相同谓词名的原子公式集的（）。

10.填空题在删除策略归结的过程中删除以下子句：含有（）的子句；含有永真式的子句；子句集中被别的子句类含的子句。