原创力文档- 1、本文档共9页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 5、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 6、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
第三章作业及解答1、名词解释：正向推理、逆向推理2、请用消解原理证明G是F1、F2和F3的逻辑结论。
第三章作业及解答3、张某被盗，公安局派出5个侦察员：A、B、C、D、E。研究案情时，A说“赵与钱中至少有1人作案”；B说“钱与孙中至少有1人作案”；C说“孙与李中至少有1人作案”；D说“赵与孙中至少有1人与此案无关”；E说“钱与李中至少有1人与此案无关”。如果5个侦察员的话都是可信的，试用归结原理推理出谁是盗窃犯。
第三章作业及解答4、设已知：（1）能阅读者是识字的；（2）海豚不识字；（3）有些海豚是很聪明的。试证明：有些聪明者并不能阅读。
正向推理从用户提供的初始已知事实出发，在知识库KB中找出当前可适用的知识，构成可适用的知识集KS，然后按某种冲突消解策略从KS中选出一条知识进行推理，并将推出的新事实加入到数据库DB中，作为下一步推理的已知事实。在此之后，再在知识库中选取可适用的知识进行推理。如此重复进行这一过程，直到求得所要求的解。
逆向推理首先选定一个假设目标，然后寻找支持该假设的证据，若所需的证据都能找到，则说明原假设是成立的；若找不到所需要的证据，则说明原假设不成立，此时需要另作新的假设。
证明G是F1、F2和F3的逻辑结论。将上述子句行，得：由(1)与(6){x/w}由(2)与(3){a/y}由(7)与(8){a/x}的G是
作业解答3、张某被盗，公安局派出5个侦察员：A、B、C、D、E。研究案情时，A说“赵与钱中至少有1人作案”；B说“钱与孙中至少有1人作案”；C说“孙与李中至少有1人作案”；D说“赵与孙中至少有1人与此案无关”；E说“钱与李中至少有1人与此案无关”。如果5个侦察员的话都是可信的，试用消解原理（归结原理）推理出谁是盗窃犯。答：钱和孙是盗窃犯，赵和李不是。下面给出求解过程。
解：设用T(x)表示x是盗窃犯,则根据题意可得：A：T(赵)∨T(钱)B：T(钱)∨T(孙)C:T(孙)∨T(李)（1）（2）（3）D:?T(赵)∨?T(孙)（4）E:?T(钱)∨?T(李)（5）下面先求谁是盗窃犯。把?T(x)∨Ansewer(x)并入上述子句集，即多出一个子句：?T(x)∨Ansewer(x)(6)（1）和（4）归结得：T(钱)∨?T(孙)（7）（2）和（7）归结得：T(钱)。（8）（6）和（8）归结得：Answer(钱)。（9）{钱/x}（3）和（5）归结得：T(孙)∨?T(钱)（10）（2）和（10）归结得：T(孙)。（11）（6）和（11）归结得：Answer(孙)。（9）{孙/x}因此，钱和孙是盗窃犯，此外无论如何也归结不出Ansewer(赵)和Ansewer(李)。下面证明赵不是盗窃犯，即证明?T(赵)。
A：T(赵)∨T(钱)B：T(钱)∨T(孙)C:T(孙)∨T(李)（1）（2）（3）D:?T(赵)∨?T(孙)（4）E:?T(钱)∨?T(李)（5）要证明赵不是盗窃犯，即证明?T(赵)。对?T(赵)进行否定，并入上述子句集中，即多出如下子句：?(?T(赵)),即T(赵)（6）应用归结原理对子句集进行归结：（3）和（5）归结得：T(孙)∨?T(钱)（7）（2）和（7）归结得：T(孙)（8）（9）（4）和（8）归结得：?T(赵)（6）和（9）归结得：NIL所以，赵不是盗窃犯。同理可以证明李也不是盗窃犯。
文档评论（0）