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

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

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

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

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