59、人工智能、机器学习、深度学习的包含关系是( )

15.在归结原理中,几种常见的归结策略并且具有完备性的是( ),( ),( )。

14.有子句集S={P(x),P(y)},其MGU=( )。

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为()。