推理的基本概念.ppt

4.4 不确定性推理 4.4.3 模糊逻辑推理　 Zadeh 为了运用自然语言进行推理, 对自然语言中的模糊概念进行了量化描述, 提出了语言变量、语言值和可能性分布的概念, 建立了可能性理论和近似推理方法, 引起了许多人的研究兴趣。 同时, 这一领域仍然有许多理论问题没有解决, 而且也存在不同的看法和争议, 例如模糊数学的基础是什么?模糊逻辑的一致性和完全性问题。 课堂练习 对于子句集 S={ P(x)∨Q(x), ～P(x)∨R(x), ～Q(x)∨R(x), ～R(x) } 使用消解反演求解 4.2 消解原理 4.2.3 含有变量的消解式 例：考虑两个子句： P[x,f(A)] ∨P[x,f(y)] ∨Q(y) ~P[z,f(A)] ∨~Q(z) 取 {li}= {P[x,f(A)]}， {mi}= {~P[z,f(A)]} 可得消解式 P[z,f(y)] ∨Q(y) ∨~Q(z) σ ={z/x} 4.2 消解原理 4.2.3 含有变量的消解式 如果取 {li}= {Q(y) } ， {mi}= {~Q(z) 则可得消解式 P[x,f(A)] ∨P[x,f(y)] ∨ ~P[y,f(A)] 进一步消解的消解式 P[y,f(y)] σ ={y/z} 4.2 消解原理 4.2.3 含有变量的消解式 几个含有变量的子句使用消解的例子： B(x) ~B(x) ∨C(x) C(x) 4.2 消解原理 4.2.3 含有变量的消解式 几个含有变量的子句使用消解的例子： P(x) ∨Q(x) ~Q[f(y) P[f(y)] σ ={f(y)/x} 4.2 消解原理 4.2.3 含有变量的消解式 几个含有变量的子句使用消解的例子： P[(x,f(y)] ∨Q(x) ∨R[f(a),y] ~P[f(f(a)),z] ∨R(z,w) Q(f(f(a) ∨R[f(a),y] ∨R(f(y),w) σ ={f(f(a)/x, f(y)/z} 4.2 消解原理 4.2.4 消解反演求解过程 1. 基本思想 　把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去，把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾，这说明目标公式的否定式不成立，即有目标公式成立，定理得证，问题得到解决，与数学中反证法的思想十分相似。 4.2 消解原理 4.2.4 消解反演求解过程 2、消解反演 　　反演求解的步骤 　　给出一个公式集S和目标公式L，通过反证或反演来求证目标公式L，其证明步骤如下： 　　(1)否定L，得～L； 　　(2)把～L添加到S中去； 　　(3)把新产生的集合｛～L，S｝化成子句集； 　　(4)应用消解原理，力图推导出一个表示矛盾的空子句NIL。　　 4.2 消解原理 4.2.4 消解反演求解过程 　　反演求解举例 例：储蓄问题 前提：每个储蓄钱的人都获得利息。 结论：如果没有利息，那么就没有人去储蓄钱 证明：令S(x, y)表示“x储蓄y” M(x)表示“x是钱” I(x)表示“x是利息” E(x, y)表示“x获得y” 于是上述命题写成：　　 4.2 消解原理 4.2.4 消解反演求解过程 　　 (?x)[(彐y)(S(x,y)) ∧M(y) =[(彐y )(I(y) ∧ E(x,y))] 结论： ~(彐x)I(x) = (?x)(?y)(M(y) =~(S(x,y))　 化为子句集： S={~S(x,y))∨ ~M(y)∨I(f(x)), ~S(x,y)∨~M(y)∨ E(x,f(x))} 其中，y=f(x)为Skolem函数。 而 ~L= ~(~(彐x)I(x) = (?x)(?y)((s(x,y)=~ M(y))) ={ ~I(z),S(a,b),M(b)} P=Q等价~Q=〉~P 4.2 消解原理 4.2.4 消解反演求解过程 　　 按4个步骤进行反演求解 （1）否定L，即有~L={ ~I(z),S(a,b),M(b)} （2）将~L添加到S中去,即 S={~L, S}={~S(x,y))∨ ~M(y)∨I(f(x)), ~S(x,y)∨~M(y)∨ E(x,f(x)), ~I(z),S(a,b),M