人工智能3经典逻辑推理人工智能课程中国海洋大学.ppt

(2) 推理方式及其分类 Ⅰ. 演绎推理、归结推理、默认推理（从新判断推出的途径来划分 ） 演绎推理——从全称判断推导出特称判断或单称判断的过程，即由一般性 知识推出适合于某一具体情况的结论。这是一种从一般到 个别的推理。 演绎推理有多种形式，经常用的是三段论式，它包括： 1) 大前提，这是已知的一般性知识或假设； 2) 小前提，这是关于所研究的具体情况或个别事实的判断； 3) 结论，这是由大前提推出的适合于小前提所示情况的新判断。 例如： 1) 足球运动员的身体都是强壮的； 2) 高波是一名足球运动员； 3) 所以，高波的身体是强壮的。 举例说明正向推理的求解过程： 假设某用户希望动物识别系统验证一下某动物是否是虎，并设当前数据库为空。 其逆向推理过程为： ① 以虎作为假设目标; ② 检察数据库中有无虎这个事实。因为数据库初始为空，显然不会有虎这个事实; ③? 判断该目标是否是证据； 判断一个目标是否是证据，只要检查它是否为某条知识的结论就可得知。如 果它不包含在任何一条知识的结论部分中，那么他就是证据。 这里虎显然不是证据，因为它是规则r10的结论； ④? 在知识库中找出所有能导出该目标的知识。该问题比较简单，只有一条知识可 导出结论虎，即r10； r10: If 该动物是哺乳动物 and 是食肉动物 and 是黄褐色 and 身上有黑色条纹 then 该动物是虎 ⑤? 将r10的运用条件分别作为新的假设进行验证。 该知识有一个运用条件是“是黄褐色”，当把它作为新假设进行推理时， ? 首先要检查数据库中有无该事实，这里显然没有； ? 接着判断它是否是证据，因在r1-r15中没有一条知识的结论部分包含它，所以 它是证据。 ? 此时询问用户：你看到的动物是黄褐色吗？若用户答是，则该运用条件就得 到了验证，并将它存入数据库中；若用户回答不是，则就否定了原先关于虎 的假设，需要作另外的假设，从头开始进行逆向推理。这里，我们假设用户 的回答为是，以便将推理进行下去。 ⑥ 对于知识的运用条件“身上有黑条纹”与上面处理类似, 因为它也是一个证据， 我们同样假定用户的回答为是，这样数据库中就又增加了一个事实。 现在数据库中有两个事实：是黄褐色、身上有黑条纹 ⑦ 对于知识的运用条件“是哺乳动物”，因它没有在数据库中出现，同时又不是 证据（它是r1与r2的结论），所以要在知识库中找出能导出它的所有知识，即 r1与r2： r1: If 该动物有毛发 then 该动物是哺乳动物 r2: If 该动物有奶 then 该动物是哺乳动物 此时，因同时有两条知识可供使用，因而存在先使用哪一个的问题。这有多种处理方法，将在以后讨论，这里我们采用最简单的一种，即哪一个排在前面就先使用哪一个，所以用r1。 由于r1的运用条件是有毛发，因此又要把有毛发作为新假设进行验证，显然它是一个证据。经询问用户，假定回答为是，这样，是哺乳动物就被肯定。 ⑧ 对于运用条件“是食肉动物”可作类似处理，只是为证实它，要用到r5或r6。 r5: If 该动物吃肉 then 该动物是食肉动物 r6: If 该动物有犬齿 and 有爪 and 眼盯前方 then 该动物是食肉动物 使用r5时，若用户对询问“该动物吃肉吗”给出肯定的回答。 至此r10的四个运用条件都被证实，从而肯定原假设“该动物是虎”的正确性。 Ⅲ. 逆向推理的主要优点：不必使用与目标无关的知识，目的性强，同时还有 利于向用户提供解释。