第三章人工智能经典逻辑推理作业.pptVIP

第三章 作业及解答 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中，作为下一步推理的已知事实。在此之后，再在知识库中选取可适用的知识进行推理。如此重复进行这一过程，直到求得所要求的解。 逆向推理 首先选定一个假设目标，然后寻找支持该假设的证据，若所需的证据都能找到，则说明原假设是成立的；若找不到所需要的证据，则说明原假设不成立，此时需要另作新的假设。 将上述子句进行归结，得： 由(1)与(6)归结{ x / w } 由(2)与(3) 归结{ a / y } 由(7)与(8)归结 { a