人工智能第4章(推理技术)研讨.pptVIP

S的一个反演为： ①P∨Q (S) ②～P∨Q (S) ③P∨～Q (S) ④～P∨～Q (S) ⑤Q ①② ⑥～Q ③④ ⑦φ ⑤⑥ ⑤P ① ③ ⑥～P ② ④ ⑦φ ⑤⑥ S的另一个反演为： 含有变量的消解式（谓词情况） 先求最一般的合一者mgu，再求消解式 例 置换 例 例 设有公式集： F1: (?x)(C(x)?(W(x)∧R(x)) F2: (?x)(C(x)∧O(x)) L: (?x)(O(x)∧R(x)) 试证：L是F1，F2的逻辑结果，即F1∧F2?L 消解反演示例 利用消解原理来构造F1∧F2∧～L的一个反演 首先分别求出F1，F2和 ～L 的子句集 证明： (?x)(C(x)?(W(x)∧R(x)) = (?x)(～C(x)∨(W(x)∧R(x)) = (?x)((～C(x)∨W(x) )∧(～C(x)∨R(x))) 子句集={ ～C(x)∨W(x) , ～C(x)∨R(x) }(未改名) F1的前束合取范式与子句集： (?x)(C(x)∧O(x)) = (C(a)∧O(a)) 子句集={ C(a), O(a) } F2的前束合取范式和子句集： ～(?x)(O(x)∧R(x)) = (?x)(～O(x)∨～R(x)) 子句集={～O(x)∨～R(x)} ～L 的前束范式和子句集： 构成子句集（注意改名） { ～C(x)∨W(x), ～C(y)∨R(y), C(a)， O(a), ～O(z)∨～R(z) } ① ～C(x)∨W(x) ② ～C(y)∨R(y) ③ C(a) ④ O(a) ⑤ ～O(z)∨～R(z) 证明过程： ⑥ R(a) ②③，mgu={a/y} ? ⑦ ～R(a) ④⑤ mgu={a/z} ? ⑧ φ ⑥⑦ ② ～C(y)∨R(y) ③ C(a) ④ O(a) ⑤ ～O(z)∨～R(z) 假设：所有不贫穷并且聪明的人都是快乐的，那些看书的人是聪明的。李明能看书且不贫穷，快乐的人过着激动人心的生活。 求证：李明过着激动人心的生活。 解：先定义谓词： Poor(x) x是贫穷的 Smart(x) x是聪明的 Happy(x) x是快乐的 Read(x) x能看书 Exciting(x) x过着激动人心的生活 消解反演示例—“激动人心的生活”问题 消解反演示例—“激动人心的生活”问题 问题谓词表示： “所有不贫穷并且聪明的人都是快乐的” (?x)((~Poor(x)∧Smart(x))→Happy(x)) “那些看书的人是聪明的” (?y) (Read(y) → Smart(y)) “李明能看书且不贫穷” Read(Liming)∧~Poor(Liming) “快乐的人过着激动人心的生活” (?z) (Happy(z)→Exciting(z)) 目标“李明过着激动人心的生活”的否定 ~Exciting(Liming) 消解反演示例—“激动人心的生活”问题 将上述谓词公式转化为子句集如下： (1) Poor(x)∨~Smart(x)∨Happy(x) (2) ~Read(y)∨Smart(y) (3) Read(Liming) (4) ~Poor(Liming) (5) ~Happy(z)∨Exciting(z) (6) ~Exciting(Liming) (结论的否定) 消解反演示例—“激动人心的生活”问题 ~Exciting(Liming) ~Happy(z)∨Exciting(z) ~Happy(Liming) Poor(x))∨~Smart(x)∨Happy(x) Poor(Liming)∨~Smart(Liming) ~Read(y)∨Smart(y ) Poor(Liming)∨~Read(Liming) ~Poor(Liming) ~Read(Limi