人工智能第3章推理技术1解读.ppt

* 《人工智能》 * 3 消解的一般过程： 设子句集S={C1,C2,…Cn}，则消解的一般过程是： S内任意子句两两逐一进行归结，得到一组归结式，称为第一级归结式，记为S1。 把S与S1内的任意子句两两逐一进行归结，得到一组归结式，称为第二级归结式，记为S2。 S和S1内的子句与S2内的任意子句两两逐一进行归结，得到一组归结式，称为第三级归结式，记为S3。 如此继续，直到出现了空子句或者不能再继续归结为止。　 * 《人工智能》 * 目的：为了提高消解推理的效率，删除某些无用的子句来缩小归结的范围。下述删除策略是完备的（即如果子句集S不可满足，则采用该策略一定可以推出空子句）。 纯文字删除法 如果某文字L在子句集中不存在可与之互补的文字?L，则称该文字为纯文字。包含纯文字的子句可以删除。 重言式删除法 如果一个子句中同时包含互补文字对，则该字句称为重言式。重言式是永远为真的子句，可以删除。 包孕删除法 设有子句C1和C2，如果存在一个代换σ，使得： C1σ?C2 ，则称C1包孕于C2，可删除C2。 4 删除策略 * 《人工智能》 * 目的：通过对参加归结的子句进行限制，尽可能减小归结的盲目性，使其尽快地归结出空子句。 支持集策略 限制：每一次归结时，亲本子句中至少有一个是由目标公式的否定所得到的子句，或者是它们的后裔。支持集策略是完备的（即如果子句集S不可满足，采用该策略一定可以推出空子句）。 线性输入策略 限制：参加归结的两个子句中必须至少有一个是初始子句集中的子句。线性输入策略是不完备的。 祖先过滤策略 限制：参加归结的子句满足：(1)C1和C2中至少有一个是初始子句集中的子句；或(2)C1和C2中一个是另外一个的祖先子句。祖先过滤策略是完备的。 5 限制策略 * 《人工智能》 * 3.2 规则演绎系统 对于许多公式来说，子句形是一种低效率的表达式，因为一些重要信息可能在求取子句形过程中丢失。本节将研究采用易于叙述的if-then(如果-那么)规则来求解问题。 在所有基于规则系统中，每个if可能与某断言集中的一个或多个断言匹配。有时把该断言集称为工作内存。在许多基于规则系统中，then部分用于规定放入工作内存的新断言。这种基于规则的系统叫做规则演绎系统(rule based deduction system)。在这种系统中，通常称每个if部分为前项，称每个then部分为后项。 基于规则的演绎系统和产生式系统，均有正向推理和逆向推理两种推理方式。 * 《人工智能》 * 3.3 产生式系统 一个产生式系统一般由三部分组成：规则库、综合数据库、控制系统。 综合数据库 产生式规则库 控制系统 * 《人工智能》 * 规则库 用于描述相应领域内知识的产生式的集合。 一个规则库的例子: R1：动物有毛 → 哺乳类 R2：动物产奶 → 哺乳类 R3：哺乳类 ∧ 吃肉 → 食肉类 R4：哺乳类 ∧ 吃草 → 有蹄类 R5：食肉类 ∧ 黄褐色 ∧ 有斑点→ 金钱豹 R6：食肉类 ∧ 黄褐色 ∧ 黑条纹→ 虎 R7：有蹄类 ∧ 长脖 → 长颈鹿 R8：有蹄类 ∧ 黑条纹 → 斑马 * 《人工智能》 * 综合数据库 又称为事实库、上下文、黑板等等。 存放已知的事实和推导出的事实。 * 《人工智能》 * 控制机制 又称为推理机构，负责整个产生式系统的运行。 控制机制完成的工作有： 按照一定的策略，匹配规则的条件部分； 当多于一条的规则匹配成功时（称为冲突），选择其中一条规则加以执行(冲突消解)； 将匹配规则的结论部分放入综合数据库； 计算结论的不确定性； 决定系统何时终止运行； * 《人工智能》 * 一个动物识别的例子 已知事实：一动物{有毛，吃草，黑条纹} R1：动物有毛 → 哺乳类 R2：动物产奶 → 哺乳类 R3：哺乳类 ∧ 吃肉 → 食肉类 R4：哺乳类 ∧ 吃草 → 有蹄类 R5：食肉类 ∧ 黄褐色 ∧ 有斑点→ 猎狗 R6：食肉类 ∧ 黄褐色 ∧ 黑条纹→ 虎 R7：有蹄类 ∧ 长脖 → 长颈鹿 R8：有蹄类 ∧ 黑条纹 → 斑马 * 《人工智能》 * 产生式系统求解问题的一般步骤 初始化事实库； 若规则库中存在尚未使用过的规则，且可匹配成功，则转第3步。否则转第5步； 执行当前选中的规则，并把结论送入事实库； 检查事实库中是否已经包含了解。若有则终止推理。若无则转第2步； 要求用户增添事实。若有则转第2步。若无则终止推理。 * 欢迎辞 《人工智能》 《人工智能》 第3章 推理技术 * 《人工智能》 * 3.1 消解原理 3.2 规则演绎系统 3.3 产生式系统 3.4 基