人工智能--推理技术.ppt

⑨ 变量改名，使得变量不相同，得到子句集 * ppt课件 消解式的定义 命题逻辑的消解式 设C1与C2是子句集中的任意两个子句，如果C1中的文字L1与C2中的文字L2互补，那么从C1和C2中分别消去L1和L2，并将两个子句中余下的部分析取，构成一个新子句C12，则称这一过程为消解，称C12为C1和C2的消解式，C1，C2为C12的亲本子句 例：子句 C1=P∨C1 C2=~P∨C2 消解式 C12=C1∨C2 一阶谓词逻辑的消解式 设C1与C2是两个没有相同变元的子句，L1和L2分别是C1和C2中的文字，若σ是L1和~L2的最一般合一者，则称 C12=(C1σ - {L1σ})∪(C2σ - {L2σ}) 为C1和C2的二元消解式，L1和L2为消解式上的文字 * ppt课件 设c1 = P(x) ∨ Q(x), c2 = ～P(a) ∨ R(y) {P(x), P(a)}的最一般的合一者为 {a/x} c’1= Q(x) c’2= R(y) 则c1, c2的消解式为 c=Q(a)∨R(y) 例： * ppt课件 怎么利用消解原理进行证明？ 消解反演 通俗的说就是“反证法” 要证命题A恒为真，等价于证﹁A恒为假 证明过程 否定结论R，得﹁R ； 把﹁R添加到已知前提集合F中去； 把新产生的集合｛ ﹁R ，F｝化成范式； 应用消解原理，不断求消解式，直到得到一个表示矛盾的空子句 * ppt课件 从父子句求消解式的若干例子 1、假言推理 2、合并 * ppt课件 3、重言式 5、链式（三段论） 4、空子句（矛盾） * ppt课件 例：设子句集为S= {P∨Q, ～P∨Q, P∨～Q, ～P∨～Q} 求S的一个反演 * ppt课件 S的一个反演为： ①P∨Q (S) ②～P∨Q (S) ③P∨～Q (S) ④～P∨～Q (S) ⑤Q ①② ⑥～Q ③④ ⑦φ ⑤⑥ ⑤P ① ③ ⑥～P ② ④ ⑦φ ⑤⑥ S的另一个反演为： * ppt课件 含有变量的消解式（谓词情况） 先求最一般的合一者mgu，再求消解式 例 置换 * ppt课件 例 例 * ppt课件 设有公式集： 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 消解反演示例 * ppt课件 然后可举例说明步骤，例子就不具体讲了 示例不用详细讲，只表示讲完概念后用示例来说明 被认为是机器证明的重大突破 在变化为子句时，丧失了因果关系的语义 人 工 智 能 Artificial Intelligence (AI) * ppt课件 第4章 推理技术 4.1 消解原理 * ppt课件 推理是如何进行的？ 推理过程多种多样 例1： 如果今天不下雨，我就去你家 今天没有下雨 例2： 小王说他下午或者去图书馆或者在家休息 小王没去图书馆 计算机如何选择？ * ppt课件 消解原理（归结原理） 鲁滨逊 美国数学家鲁滨逊 提出消解原理（1965年） 基本的出发点：要证明一个命题为真都可以通过证明其否命题为假来得到 将多样的推理规则简化为一个—消解 * ppt课件 什么叫消解 P ? Q ﹁P ? R Q ? R 消解式 亲本子句 消解式是亲本子句的逻辑结论 消解只能在仅含否定和析取联接词的公式（子句）间进行 必须先把公式化成规范的形式（范式，子句集） 析取联接词，类似“或” * ppt课件 什么叫消解 例1： 小王说他下午或者去图书馆或者在家休息 小王没去图书馆 R—小王下午去图书馆 S—小王下午在家休息 R ? S ﹁R ? S 例2： 如果今天不下雨，我就去你家 ﹁ P→Q 今天没有下雨 ﹁ P ? P ? Q * ppt课件 含变量的消解 例：苏格拉底论断 凡人都会死. ?x (Man (x) ? Mortal (x)) 苏格拉底是人. Man (Socrates) 如何得到结论：苏格拉底会死. Mortal(Socrates) 要完成消解还面临几个问题 “?”和“ ?”必须消去 Man (x) ? Mortal (x) ??Man (x) ? Mortal “?”怎么办？ 化为子句集 置换与合一 如果能消去“