单项选择题
在基于规则的正向演绎系统中，把事实表示为（）
A.IF-THEN规则B.子句形C.非蕴涵形式的与或形D.与或形
单项选择题 运用消解推理规则的前提是（）
单项选择题 宽度优先搜索方法能够保证在搜索树中找到一条通向目标节点的（）途径。
单项选择题 如果重排OPEN表是依据f（x）=g（x）+h（x）进行的，则称该过程为（）
