消去全称量词-机器人与智能技术室-合肥工业大学.PPTVIP

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}给出，假设这两个子句中的变量