您好、欢迎来到现金彩票网!
当前位置:刘伯温四肖中特料 > 推理子句 >

张仰森---人工智能原理及其应用(第二版)习题答案

发布时间:2019-06-19 07:35 来源:未知 编辑:admin

  (3) 不是不可满足的,原因是不能由它导出空子句。 (4) 不可满足,其归结过程略 (5) 不是不可满足的,原因是不能由它导出空子句。 (6) 不可满足,其归结过程略 (1) (2) (3) (4)

  所以,G是F的逻辑结论 同理可求得(3)、(4)和(5),其求解过程略。 3.15 设已知:

  (1) 如果x是y的父亲,y是z的父亲,则x是z的祖父; (2) 每个人都有一个父亲。

  使用归结演绎推理证明:对于某人u,一定存在一个人v,v是u的祖父。 解:先定义谓词 F(x,y):x是y的父亲 GF(x,z):x是z的祖父 P(x):x是一个人

  3.16 假设张被盗,公安局派出5个人去调查。案情分析时,贞察员A说:“赵与钱中至少有一个人作案”,贞察员B说:“钱与孙中至少有一个人作案”,贞察员C说:“孙与李中至少有一个人作案”,贞察员D说:“赵与孙中至少有一个人与此案无关”,贞察员E说:“钱与李中至少有一个人与此案无关”。如果这5个侦察员的话都是可信的,使用归结演绎推理求出谁是盗窃犯。

  设C(x)表示x作案,Z表示赵,Q表示钱,S表示孙,L表示李 (2) 将已知事实用谓词公式表示出来 赵与钱中至少有一个人作案:C(Z)∨C(Q) 钱与孙中至少有一个人作案:C(Q)∨C(S) 孙与李中至少有一个人作案:C(S)∨C(L)

  赵与孙中至少有一个人与此案无关:? (C (Z)∧C(S)),即 ?C (Z) ∨?C(S) 钱与李中至少有一个人与此案无关:? (C (Q)∧C(L)),即 ?C (Q) ∨?C(L) (3) 将所要求的问题用谓词公式表示出来,并与其否定取析取。 设作案者为u,则要求的结论是C(u)。将其与其否)取析取,得:

  解:支持集策略不可用,原因是没有指明哪个子句是由目标公式的否定化简来的。 删除策略不可用,原因是子句集中没有没有重言式和具有包孕关系的子句。 单文字子句策略的归结过程如下:

  {b/f(a)} 3.19 设已知: (1) 能阅读的人是识字的; (2) 海豚不识字; (3) 有些海豚是很聪明的。

  用线性输入策略是否可证明该子句集的不可满足性? 解:用线性输入策略不能证明子句集

  3.21 对线性输入策略和单文字子句策略分别给出一个反例,以说明它们是不完备的。

  解:先给出已知事实的与/或树,再利用F规则进行推理,其规则演绎系统如下图所示。 由该图可以直接写出所有可能的目标子句如下: P∨Q∨T∨U

  的不可满足性。原因是按线性输入策略,不存在从该子句集到空子句地归结过程。

http://mojdzwonek.com/tuiliziju/295.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有