设P和Q是两个谓词公式，D是它们共同的个体域，若对于D上的任何一个解释P和Q都有相同的真值，则称P和Q在D上（）

消去存在量词时，当（）时，用skolem函数。A.存在量词未出现在全称量词的辖域内时B.存在量词出现在全称量词...

单项选择题消去存在量词时，当（）时，用skolem函数。

以下不是产生式系统组成部分的是（）A.匹配B.总数据库C.产生式规则D.控制策略

单项选择题以下不是产生式系统组成部分的是（）

在基于规则的正向演绎系统中，把事实表示为（）A.IF-THEN规则B.子句形C.非蕴涵形式的与或形D.与或形

单项选择题在基于规则的正向演绎系统中，把事实表示为（）