题目内容

在著名的医疗专家系统 MYCIN 中规定,若证据 A 的可信度 CF(A)=0,则意味着 ,CF(A)=-1,则意味着 ,CF(A)=1,则意味着 。

查看答案
更多问题

谓词公式 G 是不可满足的,当且仅当对所有的解释 。

若C1=﹁P∨Q,C2=P∨﹁Q,则C1和C2的归结式R(C1, C2) = 。

若C1=P(x)∨Q(x),C2=﹁P(a)∨R(y),则C1和C2的归结式R(C1, C2) = 。

广度优先搜索算法中, OPEN 表的数据结构实际是一个 ,深度优先搜索算法中,OPEN 表的数据结构实际是一个 。

答案查题题库