人工智能 第5章 基于谓词逻辑推理(11-10).ppt

第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;第五章 基于谓词的逻辑推理;【例如】　设 S={?I(x)?Ｒ(x)，I(ａ)，?R(y)??L(y)，L(ａ)} 　　　其中子句?I(x)?Ｒ(x) 是目标公式否定后得到的子句，使用支持集归结策略进行归结。 解：(1) ?I(x)?R(x) 　　(2) I(ａ) 　　(3) ?R(y)??L(y) 　　(4) L(ａ) S1:　(5) R(a) (1)与(2)归结，{a/x｝ 　　(6) ?I(x)??L(x) (1)与(3)归结，{x/y} S2:　(7) ?L(a) (2)与(6)归结，{a/x} (8) ?L(a) (3)与(5)归结，{a/y}（注：可以不要） 　 　(9) ?I(ａ) (4)与(6)归结，{a/x} S3: (10) NIL (2)与(9)归结。 ;第五章 基于谓词的逻辑推理;【例如】　设 S={?I(x)?Ｒ(x)，I(ａ)，?R(y)??L(y)，L(ａ)} 　　　使用线性输入策略进行归结。 解：(1) ?I(x)?R(x) 　　(2) I(ａ) 　　(3) ?R(y)??L(y) 　　(4) L(ａ) S1:　(5) R(a) (1)与(2)归结，{a/x｝ 　　(6) ?I(x)??L(x) (1)与(3)归结，{x/y} (7) ?R(a) (3)与(4)归结，{a/y} S2:　(8) ?I(a) (1)与(7)归结，{a/x} (9) ?L(a) (2)与(6)归结，{a/x} (10) ?L(a) (3)与(5)归结，{a/y}（注：可以不要） 　 (11) ?I(ａ) (4)与(6)归结，{a/x}（注：可以不要） S3: (12) NIL (2)与(8)归结。 ;第五章 基于