多项选择题
A.用Skolem函数（对偶形）消去目标公式中的全称量词，化简的公式受存在量词的约束。 B.用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。 C.对规则的处理同（*）式。 D.用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。（*）
基于规则的逆向演绎系统的使用条件（）A.事实表达式是文字合取形式B.事实表达式是任意形式C.规则形式为：W→L...
多项选择题基于规则的逆向演绎系统的使用条件（）
A.事实表达式是文字合取形式 B.事实表达式是任意形式 C.规则形式为：W→L或W→L1∧L2其中L为单文字，W为任意形式。 D.目标公式是任意形式
产生式系统的特点可以概括为（）A.数据驱动B.程序驱动C.依赖性D.独立性
多项选择题产生式系统的特点可以概括为（）
A.数据驱动 B.程序驱动 C.依赖性 D.独立性
高效能的人工智能系统需要问题领域的知识，通常可把这些知识细分为以下几种基本类别（）A.陈述性知识是关于表示综合...
多项选择题高效能的人工智能系统需要问题领域的知识，通常可把这些知识细分为以下几种基本类别（）
A.陈述性知识是关于表示综合数据库的知识。 B.过程性知识是关于表示规则部分的知识。 C.控制知识是关于表示控制策略方面的知识。 D.规则表达的可以是与待求解的问题有关的客观规律方面的知识，也可以是对求解问题有帮助的策略方面的知识。
