6。求证结论:John可能会偷窃了什么？即求证目标:may—steal（John，Z)，Z=?(要求将求证目标作为顶子句，按线性策略进行归结推理，注明每次求归结式所进行的置换及其父子句的编号)

7.（1）已知一组规则和证据(事实)：

R1:A1→B1,CF（B1，A1）=0。8

R2：A2→B1,CF(B1，A2）=0.5

R3:B1∧A3—>B2，CF（B2，B1∧A3）=0.8

初始证据A1，A2，A3,并且CF（A1）=CF（A2)=CF(A3)=1,并且初始时对B1,B2一无所知.根据Shortliffe的确定性理论（可信度方法），求证据B1，B2的可信度在执行规则R1，R2，R3后的更新值CF（B1），CF(B2)。

（2）已知有如下不确定推理规则：

r1：C11∨C12ÞH1 0.7；

r2：H1ÞH 0.5；

r3:C21∧C22ÞH－0。6；

r4：（C31∧C32）∨C33ÞH 0.8;

CF(C11)=0。8，CF（C12）=0。9，CF（C21)=0.3，CF(C22)=0。6，

CF（C31)=0。9,CF(C32)=0.5,CF（C33)=0。7；

请应用MYCIN的确定性方法求出CF(H).

8。设有A，B，C三人中有人从不说真话,也有人从不说假话，某人向这三人分别提出同一个问题：谁是说谎者?A答:“B和C都是说谎者"；B答:“A和C都是说谎者”;C答：“A和B中至少有一个是说谎者"。求谁是老实人，谁是说谎者？（15分）

9.1）设已知:

(1）能阅读者是识字的；（2）海豚不识字；（3)有些海豚是聪明的；

求证:有些聪明者并不能阅读。

2）利用谓词逻辑表示下列知识（包括已知和结论），然后化成子句集：

（1)凡是清洁的东西就有人喜欢；（2）人们都不喜欢苍蝇

求证：苍蝇是不清洁的。

10。八数码游戏，初始棋局和目标棋局如图，定义启发函数h(x)表示某状态下与目标数码不同的位置个数,用全局择优法画出搜索的过程。

初始状态:，目标状态:

11.张某被盗,公安局派了五个侦察员去调查。研究案情时，侦察员Ａ说：“赵与钱中至少有一人作案"；侦察员Ｄ说：“钱与孙至少有一人作案”；侦察员Ｃ说：“孙与李中至少有一个作案”；侦察员Ｄ说“赵与孙至少一个与案无关”；侦察员Ｅ说“钱与李中至少有一人与此案无关”。如果这五个侦察员的话都是可信的，试用消解原理推理求出谁是盗窃犯.

12。某企业欲招聘一个JAVA程序员，定义如下产生式规则（要求）:

r1:IF有工作经验or(本科以上学历and有相关知识背景then录用（0.9)

r2：IF工作两年以上and作过相关工作then有工作经验(0。8)

r3:IF学过数据结构and学过JAVA and学过数据库and学过软件工程then有相关知识背景（0。9）

r4：学过数据结构(相关课程的成绩/100）

r5：学过JAVA（相关课程的成绩/100）

r6:学过数据库（相关课程的成绩/100）

r7:学过软件工程(相关课程的成绩/100）

r8:做过相关工作：

JAVA程序员：1，项目经理：1，数据库开发工程师:0。9，数据库管理员：0。7,网络管理员：0。6,客服人员：0.4

设有一本科毕业生甲，其相关课程的成绩为数据结构=85,JAVA=80，数据库=40,软件工程=90

另有一社会招聘人员乙,参加工作三年，曾做过数据库管理员和数据库开发人员

根据确定性理论，问该公司应该招聘谁？如果你是该本科生，为了能在招聘中胜出，你应该加强哪门课程，并使该门课程的成绩至少达到多少？

13.某问题由下列公式描述：

试用归结法证明（x)R(x）；