人工智能 第4章.ppt

第4章 推理技术 课前思考 知识点 学习要求 课前思考 什么是推理？有哪些推理方法？ 什么是谓词公式的永真性？什么是谓词公式的可满足性？ 什么是置换和合一？ 谓词公式有两种标准形式，即前束范式和Skloem范式，如何将谓词公式转化为这些标准形式？ 什么是子句?如何将一个谓词公式化为子句集？ 知识点 谓词公式的永真性和可满足性 置换与合一 谓词公式与子句集 消解推理规则 消解反演求解过程 规则正向演绎系统 规则逆向演绎系统 产生式系统 不确定性推理 非单调推理 学习要求 重点掌握消解原理相关知识和技术 掌握规则演绎系统 掌握产生式系统 掌握不确定性推理的基本方法和技术 了解非单调推理技术 第4章 推理技术 引言 4.1 消解原理 4.2 规则演绎系统 4.3 产生式系统 4.4 不确定性推理 4.5 非单调推理 引言 1、推理 指从已知事实出发，运用已掌握的知识，推导出其中蕴涵的事实性结论或归结出某些新结论的过程。其中，推理所用的事实可分为两种情况，一是与求解问题有关的初始证据；另一种是推理过程中所得到的中间结论。这些结论可以作为进一步推理的已知事实证据。 一般来说，人工智能系统中的智能推理过程由一些程序完成。这些程序称为推理机。还有知识库和综合数据库。 推理过程实际上就是问题求解过程。 引言（续） 2、推理的方法及分类 （1）按照推理的逻辑基础可分为： 演绎推理、归纳推理、默认推理 （2）按知识的确定性可分为： 确定性推理和不确定性推理 （3）按推理过程的单调性可分为： 单调推理和非单调推理 引言（续） 3、推理的控制策略 包括：推理方向、搜索策略、冲突消解策略、求解策略、限制策略等。 第4章 推理技术 引言 4.1 消解原理 4.2 规则演绎系统 4.3 产生式系统 4.4 不确定性推理 4.5 非单调推理 4.1 消解原理(归结推理方法) 许多数学问题可以通过定理证明得以解决，而且许多非数学问题也可归结为定理证明问题而解决。如：机器人规划等。 一、谓词公式的永真性和可满足性 1、谓词公式的解释 在谓词逻辑中，由于公式中可能有个体常量、变元及函数，因此不能像命题公式直接通过真值派出解释，而是必须考虑个体常量和函数在个体域中的取值，然后才能针对常量与函数的具体取值为谓词分别指派真值。由于存在多种组合情况，所以一个谓词公式的解释可能有很多个。对每一个解释，谓词公式都可求出一个真值（T，或F）。 消解原理（续） 2、谓词公式的永真性 定义1：如果谓词公式P，对个体域D上的任何一个解释都取得真值T，则称P在D上是永真的；若P在每个非空个体域上均永真，则称P永真。 定义2：若谓词公式P对于个体域D上的所有解释都取得真值F，则称P在D上是永假的；若P在每个非空个体域上均永假，则称P永假。 消解原理（续） 3、谓词公式的可满足性 定义3：对于谓词公式P，若至少存在一个解释使得公式P 在此解释下的真值为T，则称公式P 是可满足的。 定义4：对于谓词公式P，若不存在任何解释使得公式P 在此解释下的真值为T，则称公式P 是不可满足的。 消解原理（续） 二、谓词公式的等价性 定义5：设P与Q是两个谓词公式，D是它们共同的个体域，若对D上的任何一个解释，P与Q的取值都相同，则公式P和Q在域D上是等价的。若P是任意个体域，则称P和Q是等价的，记为P=Q。 消解原理（续） 三、置换与合一 1、置换： 用置换项置换变量。 形如{t1/x1，t2/x2，……，tn/xn}的一个有限集。其中xi是变量，ti是不同于xi的项（常量、变量、函数），且xi≠xj（i≠j）。 例如：P39 {a/x，b/y，f(x)/z} {f(z)/x，y/z} 置换可作用于某个谓词公式上，也可作用于某个项上。 消解原理（续） 若令置换θ={t1/x1，t2/x2，……，tn/xn}，而P是一谓词公式，那么θ作用于P，就是将P中出现的变量xi以ti代入（i=1，2，3，……，n），结果以Pθ表示，并称为P的一个特例。 例：θ={c/x，f(d)/y，t/z} P=Q（x，y，z），U=g（x，y） 那么，Pθ=Q（c，f(d)，t） Uθ=g(c，f(d)) 置换是可结合的，但是不可交换的。 消解原理（续） 2、合一：寻找项对变量的置换，以使两表达式一致，叫做合一。 例：s=[A/x，B/y]是 {P[x，f(y)，B]，P[x，f(B)，B]}的合一置换。 最一般合一置换，记为mgu，并不是唯