4 人工智能之不确定性推理.pdf

不确定性推理 从确定性到不确定性推理 高 阳 /gaoy, 2016.9.29 不确定性推理  不确定性推理与反绎推理  基于逻辑的反绎推理  非单调推理逻辑  真值维护系统  基于最小模型  集合覆盖  逻辑之外的反绎方法  确信度理论  DS证据理论  模糊集推理 一个例子 汽车专家系统 （1）如果发动机不旋转且灯不亮；那么，电池或电缆有问题。 (不可靠) （2）如果电池或电缆有问题；那么，发动机不旋转且灯不亮。 （可靠） 不确定性推理 从不确定性的初始事实(证据)，运用不确定性的知识，获得 不确定性但却合理的结论。 反绎推理 如果发动机不旋转且灯不亮；那么，电池或电缆有问题。 诊断 反绎推理 症状 证据 原因 解释  反绎推理 P → Q 与Q ，可能推出P 。 是一种寻找最佳解释的推理，是不可靠的推理。 也称为溯因推理 基于谓词逻辑的推理  三个重要假设(传统)  谓词对领域描述是充分的；  知识库必须是一致的；  应用推理规则得到的信息，必须是单调增长的。  但，如果假设不成立  马航370飞机失事…… 非单调推理 模态操作符的扩充 基于假设的推理 空难发生后，可以有多个假设。但发现新的证据后（如卫星 数据或黑盒子），则可以排除部分原因。 需要解决以下问题  问题一：如何添加基于假设的知识？  问题二：假设不正确，如何进行修改？ unless操作符 1. p(x) unless q(x) → r(x) 知识的表示 2. r(x) → s(x)  如果p(W)成立，且不知道q(W)是否为真，则r(W) ，进而s(W) 为真； 知识的推理  进一步已知q(W)为真，则r(W)和s(W)需要被撤回。 abnormal 默认规则p(x) unless ab p(x) → r(x)  除非p有个反常的实例 is consistent with操作符 x good_student(x) ∧M study_hard(x) → graduates(x) “与我们所知的其他事情相一致”  如何判定“与……相一致”？  第一种方法：证明其反 ﹁study_hard(x) ；如果不能证明，则 与…相一致  第二种方法：在有限空间上做启发式搜索 is consistent with操作符 无约束语义下产生的矛盾 x good_student(x) ∧M study_hard(x) → graduates(x) y party_person(y) ∧M ﹁study_hard(x) → ﹁graduates(x) 给定事实 good_student(David) party_person(David) 解决方法：控制变量在不同谓词中的赋值 。。。。。。。 默认逻辑 A(x) ∧: B(x) → C(x) “如果A可被证实，且它与对B的假设相一致，则…”