61、BP神经网络模型拓扑结构不包括( )

13.有谓词公式G,置换δ,则G·ε=( ),δ·ε=( )。

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

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

10.利用归结原理证明定理时,若得到的归结式为(),则结论成立。

9.谓词公式与其子句集的关系是( )。

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

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

6.设P是谓词公式,对于P的任何论域,存在P为真的情况,则称P为()。

5.谓词逻辑中,重言式(tautlogy)的值是( )。

4.谓词逻辑是一种表达能力很强的形式语言,其真值的特点和命题逻辑的区别是()。