《人工智能逻辑推理作业.pptx》由会员分享，可在线阅读，更多相关《人工智能逻辑推理作业.pptx（12页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、人工智能逻辑推理作业人工智能逻辑推理作业3 3、张某被盗，公安局派出、张某被盗，公安局派出、张某被盗，公安局派出、张某被盗，公安局派出5 5个侦察员：个侦察员：个侦察员：个侦察员：A A、B B、C C、D D、E E。研究案情时，。研究案情时，。研究案情时，。研究案情时，A A说说说说“赵与钱中至少有赵与钱中至少有赵与钱中至少有赵与钱中至少有1 1人人人人作案作案作案作案”；B B说说说说“钱与孙中至少有钱与孙中至少有钱与孙中至少有钱与孙中至少有1 1人作案人作案人作案人作案”；C C说说说说“孙与李中至少有孙与李中至少有孙与李中至少有孙与李中至少有1 1人作案人作案人作案人作案”；D D说
2、说说说“赵与孙中至赵与孙中至赵与孙中至赵与孙中至少有少有少有少有1 1人与此案无关人与此案无关人与此案无关人与此案无关”；E E说说说说“钱与李中至少有钱与李中至少有钱与李中至少有钱与李中至少有1 1人与此案无关人与此案无关人与此案无关人与此案无关”。如果。如果。如果。如果5 5个侦察员的话都是可信个侦察员的话都是可信个侦察员的话都是可信个侦察员的话都是可信的，试用归结原理推理出谁是盗窃犯。的，试用归结原理推理出谁是盗窃犯。的，试用归结原理推理出谁是盗窃犯。的，试用归结原理推理出谁是盗窃犯。第三章第三章 作业及解答作业及解答第1页/共11页4 4、设已知：、设已知：、设已知：、设已知：（1 1
3、）能阅读者是识字的；（）能阅读者是识字的；（）能阅读者是识字的；（）能阅读者是识字的；（2 2）海豚不识字；）海豚不识字；）海豚不识字；）海豚不识字；（3 3）有些海豚是很聪明的。）有些海豚是很聪明的。）有些海豚是很聪明的。）有些海豚是很聪明的。试证明：有些聪明者并不能阅读。试证明：有些聪明者并不能阅读。试证明：有些聪明者并不能阅读。试证明：有些聪明者并不能阅读。第三章第三章 作业及解答作业及解答第2页/共11页正向推理正向推理 从用户提供的初始已知事实出发，在知识库从用户提供的初始已知事实出发，在知识库从用户提供的初始已知事实出发，在知识库从用户提供的初始已知事实出发，在知识库KBKBKBK
4、B中找出当前可适用的知识，构成可适用的知识中找出当前可适用的知识，构成可适用的知识中找出当前可适用的知识，构成可适用的知识中找出当前可适用的知识，构成可适用的知识集集集集KSKSKSKS，然后按某种冲突消解策略从，然后按某种冲突消解策略从，然后按某种冲突消解策略从，然后按某种冲突消解策略从KSKSKSKS中选出一条中选出一条中选出一条中选出一条知识进行推理，并将推出的新事实加入到数据库知识进行推理，并将推出的新事实加入到数据库知识进行推理，并将推出的新事实加入到数据库知识进行推理，并将推出的新事实加入到数据库DBDBDBDB中，作为下一步推理的已知事实。在此之后，中，作为下一步推理的已知事实。
5、在此之后，中，作为下一步推理的已知事实。在此之后，中，作为下一步推理的已知事实。在此之后，再在知识库中选取可适用的知识进行推理。如此再在知识库中选取可适用的知识进行推理。如此再在知识库中选取可适用的知识进行推理。如此再在知识库中选取可适用的知识进行推理。如此重复进行这一过程，直到求得所要求的解。重复进行这一过程，直到求得所要求的解。重复进行这一过程，直到求得所要求的解。重复进行这一过程，直到求得所要求的解。第3页/共11页逆向推理逆向推理 首先选定一个假设目标，然后寻找支持该首先选定一个假设目标，然后寻找支持该首先选定一个假设目标，然后寻找支持该首先选定一个假设目标，然后寻找支持该假设的证据，
6、若所需的证据都能找到，则说假设的证据，若所需的证据都能找到，则说假设的证据，若所需的证据都能找到，则说假设的证据，若所需的证据都能找到，则说明原假设是成立的；若找不到所需要的证据，明原假设是成立的；若找不到所需要的证据，明原假设是成立的；若找不到所需要的证据，明原假设是成立的；若找不到所需要的证据，则说明原假设不成立，此时需要另作新的假则说明原假设不成立，此时需要另作新的假则说明原假设不成立，此时需要另作新的假则说明原假设不成立，此时需要另作新的假设。设。设。设。第4页/共11页将上述子句进行归结，得：由(1)与(6)归结 x/w 由(2)与(3)归结 a/y 由(7)与(8)归结 a/x G
7、是的逻辑结论。证明G是F1、F2和F3的逻辑结论。第5页/共11页作业解答作业解答3 3、张某被盗，公安局派出、张某被盗，公安局派出、张某被盗，公安局派出、张某被盗，公安局派出5 5个侦察员：个侦察员：个侦察员：个侦察员：A A、B B、C C、D D、E E。研究案情时，研究案情时，研究案情时，研究案情时，A A说说说说“赵与钱中至少有赵与钱中至少有赵与钱中至少有赵与钱中至少有1 1人作案人作案人作案人作案”；B B说说说说“钱与孙中至少有钱与孙中至少有钱与孙中至少有钱与孙中至少有1 1人作案人作案人作案人作案”；C C说说说说“孙与李中至少有孙与李中至少有孙与李中至少有孙与李中至少有1 1
8、人人人人作案作案作案作案”；D D说说说说“赵与孙中至少有赵与孙中至少有赵与孙中至少有赵与孙中至少有1 1人与此案无关人与此案无关人与此案无关人与此案无关”；E E说说说说“钱与李中至少有钱与李中至少有钱与李中至少有钱与李中至少有1 1人与此案无关人与此案无关人与此案无关人与此案无关”。如果。如果。如果。如果5 5个侦察员的个侦察员的个侦察员的个侦察员的话都是可信的，试用消解原理（归结原理）推理出谁是话都是可信的，试用消解原理（归结原理）推理出谁是话都是可信的，试用消解原理（归结原理）推理出谁是话都是可信的，试用消解原理（归结原理）推理出谁是盗窃犯。盗窃犯。盗窃犯。盗窃犯。答：答：答：答：钱和
9、孙是盗窃犯，赵和李不是。下面给出求解过程。钱和孙是盗窃犯，赵和李不是。下面给出求解过程。钱和孙是盗窃犯，赵和李不是。下面给出求解过程。钱和孙是盗窃犯，赵和李不是。下面给出求解过程。第6页/共11页解：设用T(x)表示x是盗窃犯,则根据题意可得：A：T(赵)T(钱)（1）B：T(钱)T(孙)（2）C:T(孙)T(李)（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）归结得：Ans
10、wer(钱)。（9）钱/x（3）和（5）归结得：T(孙)T(钱)（10）（2）和（10）归结得：T(孙)。（11）（6）和（11）归结得：Answer(孙)。（9）孙/x因此，钱和孙是盗窃犯，此外无论如何也归结不出Ansewer(赵)和Ansewer(李)。下面证明赵不是盗窃犯，即证明T(赵)。第7页/共11页 A A：T(T(赵赵赵赵)T(T(钱钱钱钱)（1 1）B B：T(T(钱钱钱钱)T(T(孙孙孙孙)（2 2）C:T(C:T(孙孙孙孙)T(T(李李李李)（3 3）D:D:T(T(赵赵赵赵)T(T(孙孙孙孙)（4 4）E:E:T(T(钱钱钱钱)T(T(李李李李)（5 5）对T(赵)进行否
11、定，并入上述子句集中，即多出如下子句：(T(赵),即T(赵)（6）应用归结原理对子句集进行归结：（3）和（5）归结得：T(孙)T(钱)（7）（2）和（7）归结得：T(孙)（8）（4）和（8）归结得：T(赵)（9）（6）和（9）归结得：NIL所以，赵不是盗窃犯。同理可以证明李也不是盗窃犯。要证明赵不是盗窃犯，即证明T(赵)。第8页/共11页4、设已知：、设已知：（1）能阅读者是识字的；（）能阅读者是识字的；（2）海豚不识字；）海豚不识字；（3）有些海豚是很聪明的。）有些海豚是很聪明的。试证明：有些聪明者并不能阅读。试证明：有些聪明者并不能阅读。证明：证明：R(x)：x能阅读。能阅读。L(x)：x
12、是识字的。是识字的。I(x)：x是聪明的。是聪明的。D(x)：x是海豚。是海豚。将上面个语句翻译成谓词公式：将上面个语句翻译成谓词公式：（1）x(R(x)L(x)已知条件已知条件（2）x(D(x)L(x)已知条件已知条件（3）x(D(x)I(x)已知条件已知条件（4）x(I(x)R(x)需要证明的结论需要证明的结论作业解答作业解答第9页/共11页求已知条件与结论否定的子句集求已知条件与结论否定的子句集S，得出，得出（1）R(x)L(x)（2）D(x)L(x)（3）D(a)（4）I(a)（5）I(z)R(z)归结得到归结得到（6）R(a)由由(5),(4),a/z得出得出（7）L(a)由由(6),(1),a/x得出得出（8）D(a)由由(7),(2),a/y得出得出（9）由由(8),(3)得出得出 证明了证明了S是不可满足的，从而间接证明了是不可满足的，从而间接证明了“有些聪明者有些聪明者并不能阅读并不能阅读”是成立的。是成立的。第10页/共11页感谢您的观看。第11页/共11页