人工智能专家系统+推理机设计第四章 经典逻辑推理.ppt

福州大学阳光学院计算机系 第四章 经典逻辑推理 基本概念 命题逻辑的归结法 子句形 Herbrand定理 归结原理 归结过程的策略控制 第四章 经典逻辑推理 基本概念 命题逻辑的归结法 子句形 Herbrand定理 归结原理 归结过程的策略控制 基本概念 推理 什么是推理：依据一定的规则（策略）从已知的事实推出新事实（结论）的过程称为推理。 基本概念 推理 推理方式及其分类 p.112 演绎推理、归纳推理（完全与否）、默认推理 确定推理、不确定推理 单调推理、非单调推理 启发式推理、非启发式推理 ………… 基本概念 推理 推理的控制策略，即求解问题的策略。有推理方向、搜索策略、冲突消解策略、求解策略及限制策略等。 推理方向 正向推理：由原始数据出发寻找可用的知识得出新事实，如此继续直至得到结论。自底向上（bottom-up） ，事实驱动方式。 反向推理：先提出假设，由此出发，进一步寻找支持假设的证据，当所需证据与用户提供原始数据相匹配则成功。自顶向下（top-down），目标驱动方式。 基本概念 正向推理过程 规则集中的规则与数据库中的事实进行匹配，得到匹配的规则集合。 从匹配的规则集合中选择一条规则作为使用规则。 执行使用规则的后件。将该使用规则的后件输入数据库。 重复进行，直到达到目标。 基本概念 正向推理算法（产生式系统） 断言一个事实 使事实与某个规则的前提相匹配 完成事实和前提的合一代换 把代换应用于规则的结论 断言结果，并把它应用于进一步的推理 重复1）~ 5） 基本概念 基本概念 设计一正向推理系统 能用数据库（黑板）中的事实去匹配规则的前提，若匹配不成功，能自动地进行下一条规则的匹配，在匹配时，采用什么策略等问题应考虑周到。 若某条规则匹配成功了，系统能将此规则的结论部分自动加入数据库。 能判断什么时候结束推理。 能将匹配成功的规则记录下来。 基本概念 反向推理过程 用规则集中的规则后件与目标事实进行匹配，得到匹配的规则集合。 从匹配的规则集合中选择一条规则作为使用规则。 把执行的使用规则的前件作为下一个循环的目标事实 。 重复进行，直到达到目标。 基本概念 反向推理算法（产生式系统） 提出获取事实（目标）的请求 目标和任何已知的事实都不匹配 目标和一条规则的结论匹配 进行目标和结论的合一代换 将代换应用于规则的前提 这个结论成为系统的新目标 新目标将执行动作 8) 重复1）~ 7） 基本概念 基本概念 设计一反向推理系统 能根据用户要求或情况提出假设。 能验证此假设是否在数据库中。 能从知识库中将结论部分包含此假设的规则都找出来。 能将找出来的规则的前提部分取出并作为新假设逐条验证。 能判断假设是否是证据节点，若是，能向用户提出相应问题并记录结果。 能将匹配成功的规则记录下来。 能判断何时应结束推理。 基本概念 推理 冲突消解策略1 规则排序：规则的编排顺序就是规则启用的优先级。 专一性排序：若某一规则的条件部分规定的情况比另一条规则的条件部分所规定的情况更专门，则这条规则有较高的优先级。 就近排序：把最近使用的规则放在最优先的位置。 规模排序：按规则条件部分复杂程度排序，越复杂越优先。 基本概念 推理 冲突消解策略2 数据排序：把规则条件部分的所有条件项按优先级次序组织，可用知识的次序由这些知识所含条件按字典排序方法进行选择。 上下文限制：按问题求解状态或新描述的上下文分块组织知识库，在某一求解状态，只能使用相对应组中的知识。 数据冗余限制：若知识的操作产生上下文冗余项时，则降低该知识的优先级。 基本概念 模式匹配（代换与合一） 什么叫模式匹配：是指对两个知识模式（谓词公式、框架片断、语义网络片断等）的比较与耦合，即检查这两个知识模式是否完全一致或近似一致。模式匹配有确定性匹配与不确定性匹配。 什么叫合一：一个表达式（公式）的项可以是常量、变量或函数，合一就是寻找项对变量的代换而使得表达式（公式）一致的过程。合一是AI中很重要的过程。 基本概念 模式匹配（代换与合一）定义4.1 代换：有序对的集合S={ t1/x1,t2/x2,…,tn/xn } 表示代换。其中ti/xi表示在公式中用ti代替xi 。 例：公式 P[ x, f(y), B ] s1={ z/x, w/y } 则 P[ z, f(w), B ] s2={ A/y } 则 P[ x, f(A), B ] s3={ g(z)/x } 则 P[ g(z), f(y), B ] 用代换s作用于公式E所得到的式子记为Es 基本概念 模式匹配（代换与合