人工智能与模式识别选讲PPT教学课件-第二章 知识表示方法.ppt

2.6 小结（Summary） 本章所讨论的知识表示问题是人工智能研究的核心问题之一。 知识表示方法很多，本章介绍了其中的7种，有图示法和公式法，陈述式表示和过程式表示等。 2.6 小结（Summary） 知识表示方法间的关系 方法 初始问题 算符 目标 结果 状态空间法 状态 算符 目标状态 解答路径 归约法 结点 弧 结点 解答树 谓词逻辑法 合适公式 句集 根结点 nil 语义网络法 结点 链 目标网络 语义网络 第二章 知识表示方法 2.1 状态空间法 2.2 问题归约法 2.3 谓词逻辑法 2.4 语义网络法 2.5 其他方法 2.6 小结 好的开始是成功的一半， 好的表示方法是成功的一半 2.1 状态空间法(State Space Representation) 问题求解技术主要是两个方面： 问题的表示 求解的方法 状态空间法 状态（state） 算符（operator） 状态空间方法 2.1.1 问题状态描述 定义 状态：描述某类不同事物间的差别而引入的一组最少变量q0，q1，…，qn的有序集合。 算符：使问题从一种状态变化为另一种状态的手段称为操作符或算符。 问题的状态空间：是一个表示该问题全部可能状态及其关系的图，它包含三种说明的集合，即三元状态（S，F，G）。 2. 状态空间表示概念详释 Original state Middle state Goal state 例:三数码难题（3 puzzle problem） 1 2 3 1 2 3 1 2 3 3 1 2 3 1 2 3 1 2 初始棋局 目标棋局 2.1.2 状态图示法 有向图 路径 代价 图的显示说明 图的隐示说明 A状态 B状态 2.1.3 状态空间表示举例 产生式系统（production system） 一个总数据库：它含有与具体任务有关的信息随着应用情况的不同，这些数据库可能简单，或许复杂。 一套规则：它对数据库进行操作运算。每条规则由左部鉴别规则的适用性或先决条件以及右部描述规则应用时所完成的动作。 一个控制策略：它确定应该采用哪一条适用规则，而且当数据库的终止条件满足时，就停止计算。 数据库 控制策略 规则 2.1.3 状态空间表示举例 猴子和香蕉问题 我该咋办？ 解题过程 用一个四元表列（W，x，Y，z）来表示这个问题状态.其中 W－猴子的水平位置 x－当猴子在箱子顶上时取x=1；否则取x=0 Y－箱子的水平位置 z－当猴子摘到香蕉时取z=1；否则取z=0 这个问题的操作（算符）如下： 令 goto(U)表示猴子走到水平位置U 或者用产生式规则表示为 （W，0，Y，z） goto(U) （U，0，Y，z） 解题过程 pushbox（V）猴子把箱子推到水平位置V，即有 （W，0，W，z） pushbox（V） （V，0，V，z） climbbox猴子爬上箱顶，即有 （W，0，W，z） climbbox （W，1，W，z） 解题过程 grasp猴子摘到香蕉，即有 （c，1，c，0） grasp （c，1，c，1） 该初始状态变换为目标状态的操作序列为 {goto(b), pushbox(c), climbbox, grasp} 解题过程 (b，1，b，0) （U，0，b，0） （V，0，V，0） （c，1，c，0） （U，0，V，0） （c，1，c，1） （a，0，b，0） 目标状态 goto（U） goto（U） U=b，climbbox goto（U） U=b pushbox（V） goto（U） U=V 猴子和香蕉问题的状态空间图 初始状态 2.2 问题归约法（Problem Reduction Representation） 子问题1 子问题n 原始问题 子问题集 本 原 问 题 2.2 问题归约法（Problem Reduction Representation） 问题归约表示的组成部分： 一个初始问题描述； 一套把问题变换为子问题的操作符； 一套本原问题描述。 问题归约的实质： 从目标(要解决的问题)出发逆向推理，建立子问题以及子问题的子问题，直至最后把初始问题归约为一个平凡的本原问题集合。 2.2.1 问题归约描述 （Problem Reduction Description） 梵塔难题 1 2 3 C B A 解题过程（3个圆盘问题） 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 2.2.2与或图表示 1.与图、或图、与或图 A B C D 与图 A B C 或图 1.与图