题目内容

若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 表的数据结构实际是一个。

在MYCIN推理中，对证据的可信度CF(A)、CF(A1)、CF(A2)之间、规定如下关系：CF(﹁A)= ，CF(A1∧A2)= ，CF(A1∨A2)= 。

MYCIN 系统中使用不确定推理，规则 A→B 由专家指定其可信度 CF（B，A），若A 真支持 B 真，则指定 CF(B, A)（与零比较）应；若 A 真不支持 B 真，则指定 CF(B, A)应。