人工智能第2章ppt课件_第1页
人工智能第2章ppt课件_第2页
人工智能第2章ppt课件_第3页
人工智能第2章ppt课件_第4页
人工智能第2章ppt课件_第5页
已阅读5页,还剩26页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、人人 工工 智智 能能Artificial Artificial Intelligence (AI)Intelligence (AI)许建华许建华南京师范大学计算机科学与技术学院南京师范大学计算机科学与技术学院2011年秋季年秋季第第2章章 知识表示方法知识表示方法2.1 状态空间法状态空间法2.2 问题归约法问题归约法2.3 谓词逻辑法谓词逻辑法2.2 问题归约法问题归约法 例:求积分例:求积分 解法解法1:解法解法2:解法解法3:2(cos)xexxdx223(cos)cossin3xxxexxdxe dxxdxx dxxex问问 题题解法解法1解法解法2

2、解法解法3解法解法4子问题子问题1子问题子问题2子问题子问题3变换变换分解分解问题归约法:问题归约法:从已知问题的描述出发,通过一系列变换从已知问题的描述出发,通过一系列变换或分解将问题最终变为一个子问题集合,或分解将问题最终变为一个子问题集合,这些子问题的解可以直接得到,从而解决这些子问题的解可以直接得到,从而解决初始问题初始问题 问题归约法由三个部分组成:问题归约法由三个部分组成:一个初始问题描述一个初始问题描述一套将问题变换或分解为子问题的操作符一套将问题变换或分解为子问题的操作符一套本原问题解可以直接得到的简单问题一套本原问题解可以直接得到的简单问题描画描画2.2.1 问题归约描述问题

3、归约描述 1 1、例子:梵塔问题三个盘)、例子:梵塔问题三个盘) (a) 初始配置初始配置(b) 目标配置目标配置图图2.6 梵塔难题梵塔难题解决问题的思路:解决问题的思路:第一、要将所有盘从第一个柱子搬到第三个第一、要将所有盘从第一个柱子搬到第三个柱子,根据游戏规则,首先要搬最大的柱子,根据游戏规则,首先要搬最大的 C 盘盘到第三个柱子上到第三个柱子上(a) 初始配初始配置置(b) 目标配置目标配置图图2.6 梵塔难题梵塔难题解决问题的思路:解决问题的思路:第二、要能够搬第二、要能够搬 C 盘,条件是:第三个柱盘,条件是:第三个柱子是空的,子是空的,A、B必须在第二个柱子上这必须在第二个柱子

4、上这里没有考虑如何搬里没有考虑如何搬A、B盘)盘)(a) 初始配置初始配置(b) 目标配置目标配置图图2.6 梵塔难题梵塔难题解决问题的思路:解决问题的思路:第三、搬第三、搬C盘到第三个柱子,然后想办法将盘到第三个柱子,然后想办法将A、B盘搬到第三个柱子上盘搬到第三个柱子上 (a) 初始配初始配置置(b) 目标配置目标配置图图2.6 梵塔难题梵塔难题将问题简化为下列三个子问题:将问题简化为下列三个子问题:移动园盘移动园盘 A 和和 B 到柱子到柱子 2 的双园盘难题的双园盘难题挪动挪动 C 盘到柱子盘到柱子 3 的单园盘难题的单园盘难题挪动挪动 A 和和 B 到柱子到柱子 3 的双园盘难题的双

5、园盘难题图图2.8 梵塔问题的归约梵塔问题的归约左到右左到右 表示表示 盘从大到小,数字盘从大到小,数字 表示表示 盘所在柱子号盘所在柱子号小盘:小盘:13中盘:中盘:12小盘:小盘:32小盘:小盘:21中盘:中盘:23小盘:小盘:13与与中小盘中小盘1到到2中小盘中小盘2到到3大盘大盘1到到32、问题归约的描述、问题归约的描述 问题归约法的基本思路是:应用一系列算符将原问题归约法的基本思路是:应用一系列算符将原始问题的描述变换或分解成为子问题的描述始问题的描述变换或分解成为子问题的描述问题的描述可以采用各种数据结构,如表、树、问题的描述可以采用各种数据结构,如表、树、矢量、数组等矢量、数组等

6、对于梵塔问题,问题及子问题描述:对于梵塔问题,问题及子问题描述: (113) (113)(333)(333)问题归约法可以用一个三元组问题归约法可以用一个三元组S, O, P来表示,来表示,其中:其中: S:原始问题,即要解决的问题:原始问题,即要解决的问题 P:本原问题集,其中的每一个问题是不用证明:本原问题集,其中的每一个问题是不用证明的或自然成立的,例如公理、已知事实等的或自然成立的,例如公理、已知事实等 O:操作算子集,用于将问题化为子问题:操作算子集,用于将问题化为子问题2.2.2 与或图表示与或图表示 例:有一个问题例:有一个问题A,它可以通过三,它可以通过三种途径来求解:种途径来

7、求解:1、求解问题、求解问题 B 和和 C2、求解问题、求解问题 D 、E 和和 F3、求解、求解 H与与或或引入中间节点引入中间节点益处:益处:任何一个节点的后继节点要么全是任何一个节点的后继节点要么全是“与节与节点点”,要么全是,要么全是“或节点或节点”。与与或或与或图的特例:与或图的特例:所有节点都是或节点,这时就是一般的图,即状所有节点都是或节点,这时就是一般的图,即状态空间法用到的图态空间法用到的图除了起始节点外,所有节点只有一个父节点,此除了起始节点外,所有节点只有一个父节点,此时称为与或树,前面的图时称为与或树,前面的图2.11就是与或树就是与或树 问题归约法、与或图表示之间的对

8、应关系:问题归约法、与或图表示之间的对应关系:问题归约法问题归约法原始问题原始问题本原问题本原问题操作符操作符中间问题中间问题与或图表示与或图表示起始节点起始节点终叶节点终叶节点与、或关系的弧线与、或关系的弧线非终叶节点非终叶节点在与或图中,问题有解的条件是:起始节点是在与或图中,问题有解的条件是:起始节点是可解的可解的 一般情况下:一般情况下:分解分解 操作符得到操作符得到 与节点与节点变换变换 操作符得到操作符得到 或节点或节点在与或图中,一个可解节点的定义是递归地):在与或图中,一个可解节点的定义是递归地):1、终叶节点是可解的因为它们与本原问题相关联、终叶节点是可解的因为它们与本原问题

9、相关联的)。一般情况,终叶节点用的)。一般情况,终叶节点用 t 来表示来表示2、如果某一个非终叶节点含有、如果某一个非终叶节点含有“或后继节点,那或后继节点,那么,只要有一个后继节点是可解的,这一个非终么,只要有一个后继节点是可解的,这一个非终叶节点就是可解的。叶节点就是可解的。一个节点可解一个节点可解可解可解3、如果某一个非终叶节点含有、如果某一个非终叶节点含有“与后继节点,与后继节点,那么,只要所有后继节点是可解的,这一个那么,只要所有后继节点是可解的,这一个非终叶节点才是可解的。非终叶节点才是可解的。所有节点可解所有节点可解可解可解与或图中,一个不可解节点的定义递归地是:与或图中,一个不

10、可解节点的定义递归地是:1、没有后裔的非终叶节点是不可解节点。、没有后裔的非终叶节点是不可解节点。2、如果某一个非终叶节点含有、如果某一个非终叶节点含有“或后继节点,或后继节点,那么,只要当所有的后继节点都不可解时,这那么,只要当所有的后继节点都不可解时,这一个非终叶节点才是不可解的。一个非终叶节点才是不可解的。所有节点不可解所有节点不可解不可解不可解3、如果某一个非终叶节点含有、如果某一个非终叶节点含有“与后继节点,与后继节点,那么,只要有一个后继节点是不可解的,这一那么,只要有一个后继节点是不可解的,这一个非终叶节点就是不可解的。个非终叶节点就是不可解的。 有一个节点不可解有一个节点不可解不可解不可解与或图的

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论