消去全称量词.ppt

4.4 不确定性推理 4.4.3 模糊逻辑推理　 事物本身是模糊的，概念本身没有明确的外延，一个对象是否符合这个概念难以明确地确定。 经典集合：元素或者属于、或者不属于一个集合。 模糊集合：认为元素和集合之间还有第3种关系：在某种程度上属于，属于的程度用[0, 1]之间的一个数值表示，称为隶属度。 模糊推理是对这种不确定，即模糊性的表示与处理。 模糊逻辑推理已经提出了Zadeh法，Baldwin法、Tsukamoto法、Yager法和Mizumoto法等方法 。 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 含有变量的消解式 令父辈子句由{Li}和{Mi}给出，假设这两个子句中的变量已经分别标准化。设{li}是 {Li}的一个子集，{mi}是{Mi}的一个子集，若σ是 {li}和 {~mi}的最一般的合一，消解两个子句{Li}和{Mi}，得到新子句 {{Li}- {li}} σ ∨{{Mi}- {mi}} σ 就是这两个子句的消解式。 消解两个子句时，可能有一个以上的消解式，因为有多种选择{li}和 {mi}的方法。 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” 于是上述命