基于规则的逆向演绎系统的使用条件（）

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

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

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

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

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

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

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

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

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

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

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

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

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

9.判断题一般来说，置换是可交换的，即两个置换合成的结果与置换使用的次序无关。

10.判断题当一个解图中所有涉及的置换构成的置换集是一致的时，该解图称为一致解图。