用产生式系统来描述一个具体问题。设字符转换问题规则如下：1.A∧B→C；2....

单项选择题用产生式系统来描述一个具体问题。设字符转换问题规则如下：1.A∧B→C；2.A∧C→D；3.B∧C→G；4.B∧E→F；5.D→E；已知：A，B求：F。设综合数据库用集合{x}表示，其中x为字符。采用顺序排队的控制策略。初始状态{A，B}。为了得到F，最后执行的被触发规则是（）

A.5.IF-D-THEN-E
B.2.IFA∧CTHEN-D
C.3.IFB∧CTHEN-G
D.4.IFB∧ETHEN-F

1.多项选择题基于规则的逆向演绎系统对事实、规则和目标的化简过程（）

A.用Skolem函数（对偶形）消去目标公式中的全称量词，化简的公式受存在量词的约束。
B.用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。
C.对规则的处理同（*）式。
D.用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。（*）

2.多项选择题基于规则的逆向演绎系统的使用条件（）

A.事实表达式是文字合取形式
B.事实表达式是任意形式
C.规则形式为：W→L或W→L1∧L2其中L为单文字，W为任意形式。
D.目标公式是任意形式

3.多项选择题产生式系统的特点可以概括为（）

A.数据驱动
B.程序驱动
C.依赖性
D.独立性

4.多项选择题高效能的人工智能系统需要问题领域的知识，通常可把这些知识细分为以下几种基本类别（）

A.陈述性知识是关于表示综合数据库的知识。
B.过程性知识是关于表示规则部分的知识。
C.控制知识是关于表示控制策略方面的知识。
D.规则表达的可以是与待求解的问题有关的客观规律方面的知识，也可以是对求解问题有帮助的策略方面的知识。

5.多项选择题改进A*算法的时候，要注意哪两点（）

A.要保持A*算法的可采纳性
B.去除可采纳性
C.不能增加过多的计算工作量。
D.以增加工作量为代价。

6.判断题EQ、EQL和EQUAL是三个判断相等的谓词函数，其区别是判断相等的"标准"不一样。

7.判断题A*算法中，如果h满足单调条件，就一定不会出现重复扩展节点问题。

8.判断题归结方法将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。

9.判断题扩展节点可使定义的隐含图生成为显式表示的状态空间图。

10.判断题任何一个合适公式，都可以等价地转化为一个前束范式。