消去全称量词_机器人与智能技术试验室_合肥工业大学.pptVIP

4.4 不确定性推理 4.4.3 模糊逻辑推理　 Lotfi A. Zadeh February 4, 1921 – September 6, 2017 1965年创立模糊集合理论，在此基 础上发展起了包括模糊集合理论、模糊 逻辑、模糊推理和模糊控制等内容。 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) } 使用消解反演求解 知识回顾Knowledge Review 4.2 消解原理 4.2.3 含有变量的消解式 为了对含有变量的子句使用消解规则，必须找到一个置换，作用于父辈子句使其含有互补文字。 例：设有两个字句 P(x)∨Q(x)～Q（f(y)） 置换 σ=｛f(y)/x｝ 　　消解可得：P（f(y)） 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 消解反演求