单项选择题

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

A.IF-THEN规则
B.子句形
C.非蕴涵形式的与或形
D.与或形

你可能感兴趣的试题

单项选择题

运用消解推理规则的前提是（）

A.被作用的两个公式都是合取范式
B.被作用的两个子句中存在互补对
C.任意两个公式都可以运用消解推理
D.必须符合假言推理合并重言式空子句（矛盾）或链式（三段论）之一

单项选择题

宽度优先搜索方法能够保证在搜索树中找到一条通向目标节点的（）途径。

A.可行
B.最短
C.最长
D.解答