单项选择题
A.存在量词未出现在全称量词的辖域内时B.存在量词出现在全称量词的辖域内时C.以上情况都需要D.以上情况都不需要
以下不是产生式系统组成部分的是（）A.匹配B.总数据库C.产生式规则D.控制策略
单项选择题以下不是产生式系统组成部分的是（）
A.匹配B.总数据库C.产生式规则D.控制策略
在基于规则的正向演绎系统中，把事实表示为（）A.IF-THEN规则B.子句形C.非蕴涵形式的与或形D.与或形
单项选择题在基于规则的正向演绎系统中，把事实表示为（）
A.IF-THEN规则B.子句形C.非蕴涵形式的与或形D.与或形
运用消解推理规则的前提是（）A.被作用的两个公式都是合取范式B.被作用的两个子句中存在互补对C.任意两个公式都...
单项选择题运用消解推理规则的前提是（）
A.被作用的两个公式都是合取范式B.被作用的两个子句中存在互补对C.任意两个公式都可以运用消解推理D.必须符合假言推理合并重言式空子句（矛盾）或链式（三段论）之一
