63、Alpha Go是第一个击败人类职业()选手的人工智能程序。( )

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.谓词逻辑是一种表达能力很强的形式语言,其真值的特点和命题逻辑的区别是()。

3.人工智能的基本技术包括( )、运算( )、搜索( )归纳技术、联想技术。

2.任意列举人工智能的四个应用性领域()、智能管理( )、智能决策( )、智能仿真( )。