人工智能第二章课件.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《人工智能第二章课件.ppt》由用户(晟晟文业)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 人工智能 第二 课件
- 资源描述:
-
1、Logical Foundations of Artificial IntelligenceChapter 2: 1 School of CIT, Beijing JiaoTong UniversityChapter 2. Declarative Knowledge Knowledge and Knowledge Representation 2.1 Conceptualization 2.2 Predicate Calculus 2.3 Semantics 2.42.8 Examples 2.9 Specialized LanguagesLogical Foundations of Arti
2、ficial IntelligenceChapter 2: 2 School of CIT, Beijing JiaoTong UniversityKnowledge 是人们在改造客观世界的实践中积累起来的认识和是人们在改造客观世界的实践中积累起来的认识和经验经验 Feigenbaum认为知识是经过削减、塑造、解释和认为知识是经过削减、塑造、解释和转换的信息。简单地说,知识是经过加工的信息。转换的信息。简单地说,知识是经过加工的信息。 Bernstein说知识是由特定领域的描述、关系和过说知识是由特定领域的描述、关系和过程组成的。程组成的。 Hayes-Roth认为知识是事实、信念和启发式规则
3、认为知识是事实、信念和启发式规则。 从知识库观点看,知识是某论域中所涉及的各有关从知识库观点看,知识是某论域中所涉及的各有关方面、状态的一种符号表示。方面、状态的一种符号表示。Logical Foundations of Artificial IntelligenceChapter 2: 3 School of CIT, Beijing JiaoTong University知识的特性知识的特性 知识的特征知识的特征 相对正确性:知识在一定的条件下是正确的,但在相对正确性:知识在一定的条件下是正确的,但在另外一种情况下可能是不正确的。另外一种情况下可能是不正确的。 不确定性:事物之间的关系有时
4、难以用真假状态来不确定性:事物之间的关系有时难以用真假状态来描述,不确定性就是指这种介于真假之间的中间状描述,不确定性就是指这种介于真假之间的中间状态。态。 可表示性:知识通常通过一定的方法进行表示,如可表示性:知识通常通过一定的方法进行表示,如:语言、文字、图画、姿势、声音等。:语言、文字、图画、姿势、声音等。 可利用性:人们常用知识来认识和改造世界可利用性:人们常用知识来认识和改造世界Logical Foundations of Artificial IntelligenceChapter 2: 4 School of CIT, Beijing JiaoTong UniversityCla
5、ssification of Knowledge 描述性知识(事实):是有关问题环境的一些事物的描述性知识(事实):是有关问题环境的一些事物的知识,知识, 常以常以“是是” 的形式出现。的形式出现。 判断性知识(规则):是有关问题中与事物的行动、判断性知识(规则):是有关问题中与事物的行动、动作相联系的因果关系知识,是动态的,常以动作相联系的因果关系知识,是动态的,常以 “如果如果那么那么” 形式出现。形式出现。 过程性知识(控制):是有关问题的求解步骤、技巧过程性知识(控制):是有关问题的求解步骤、技巧性知识,告诉怎么做一件事。也包括当有多个动作同性知识,告诉怎么做一件事。也包括当有多个动作
6、同时被激活时应选哪一个动作来执行的知识。时被激活时应选哪一个动作来执行的知识。Logical Foundations of Artificial IntelligenceChapter 2: 5 School of CIT, Beijing JiaoTong UniversityKnowledge Representation 是研究用机器表示知识的可行性、有效性的一般方法是研究用机器表示知识的可行性、有效性的一般方法,是一种数据结构与控制结构的统一体,既考虑知识,是一种数据结构与控制结构的统一体,既考虑知识的存储又考虑知识的使用。的存储又考虑知识的使用。 可看成是一组描述事物的约定,可看成是
7、一组描述事物的约定, 以把人类知识表示成以把人类知识表示成机器能处理的数据结构。机器能处理的数据结构。 主要方法:状态空间法、问题归约法、主要方法:状态空间法、问题归约法、谓词逻辑表示法、产生式规则表示法、语义网络表示法、框架表示、产生式规则表示法、语义网络表示法、框架表示法、面向对象表示法、脚本表示法、过程表示法。法、面向对象表示法、脚本表示法、过程表示法。Logical Foundations of Artificial IntelligenceChapter 2: 6 School of CIT, Beijing JiaoTong University状态空间法状态空间法 (State
8、Space Representation)在分析了人工智能研究中运用的问题求解方法之后,就会发现许多问题在分析了人工智能研究中运用的问题求解方法之后,就会发现许多问题求解方法是采用试探搜索方法的。也就是说,这些方法是通过在某个可求解方法是采用试探搜索方法的。也就是说,这些方法是通过在某个可能的解空间内寻找一个解来求解问题的。这种基于解答空间的问题表示能的解空间内寻找一个解来求解问题的。这种基于解答空间的问题表示和求解方法就是状态空间法,它是以状态和算符和求解方法就是状态空间法,它是以状态和算符(operator)为基础来表为基础来表示和求解问题的。示和求解问题的。状态空间法的三要点状态空间法的
9、三要点 状态(状态(state):表示问题解法中每一步问题状况的数据结构;):表示问题解法中每一步问题状况的数据结构; 算符(算符(operator):把问题从一种状态变换为另一种状态的手段;):把问题从一种状态变换为另一种状态的手段; 状态空间方法:基于解答空间的问题表示和求解方法,它是以状态和算状态空间方法:基于解答空间的问题表示和求解方法,它是以状态和算符为基础来表示和求解问题的。符为基础来表示和求解问题的。Logical Foundations of Artificial IntelligenceChapter 2: 7 School of CIT, Beijing JiaoTong
10、University问题状态描述问题状态描述定义定义 状态状态(state):为描述某类不同事物间的差别而引入的一组最:为描述某类不同事物间的差别而引入的一组最少变量少变量q0,q1,qn的有序集合,其矢量形式如下:的有序集合,其矢量形式如下:Q=q0 , q1 ,. , qnT式中每个元素式中每个元素qi(i=0,1,n)为集合的分量,称状态变量为集合的分量,称状态变量 算符:使问题从一种状态变化为另一种状态的手段称为操作算符:使问题从一种状态变化为另一种状态的手段称为操作符或算符。操作符可为走步、过程、规则、数学算子、运算符或算符。操作符可为走步、过程、规则、数学算子、运算符号或逻辑符号等
11、。操作的条件符号或逻辑符号等。操作的条件(对状态的要求对状态的要求)和对状态的和对状态的改变。改变。 问题的状态空间问题的状态空间(state space):是一个表示该问题全部可能:是一个表示该问题全部可能状态及其关系的图,它包含三种说明的集合,即所有可能的状态及其关系的图,它包含三种说明的集合,即所有可能的问题问题初始状态集合初始状态集合S、操作符集合、操作符集合F以及目标状态集合以及目标状态集合G。可。可把状态空间记为三元状态把状态空间记为三元状态(S,F,G)。Logical Foundations of Artificial IntelligenceChapter 2: 8 Scho
12、ol of CIT, Beijing JiaoTong University问题状态描述问题状态描述 举例举例例例1: 二阶梵塔问题二阶梵塔问题. 设有三根柱子设有三根柱子,它们的编号分别是它们的编号分别是1号号, 2号号, 3号号. 在初始情况下在初始情况下, 1号柱子上穿有号柱子上穿有A, B两个园盘两个园盘,A比比B小小,A位于位于B的上面的上面.要求把这两个园盘全部移到第要求把这两个园盘全部移到第3号号柱子上柱子上,而且规定每次只能移动一个园盘而且规定每次只能移动一个园盘, 任何时刻都不能任何时刻都不能使大园盘位于小园盘的上面使大园盘位于小园盘的上面.Logical Foundatio
13、ns of Artificial IntelligenceChapter 2: 9 School of CIT, Beijing JiaoTong University问题状态描述问题状态描述 状态状态用用Sk= Sk0, Sk1表示问题状态表示问题状态, 其中其中Sk0表示园盘表示园盘A所在的柱子号所在的柱子号, Sk1表示园表示园盘盘B所在的柱子号。所在的柱子号。Logical Foundations of Artificial IntelligenceChapter 2: 10 School of CIT, Beijing JiaoTong University问题状态描述问题状态描述算
14、符算符算符算符定义定义:操作操作A(i, j)表示把表示把园盘园盘A从从i号号柱子柱子移到移到j号号柱子,柱子,操作操作B(i, j)表示把表示把园盘园盘B从从i号号柱子柱子移到移到j号号柱子。柱子。一种得到解的操作序列一种得到解的操作序列: A(1, 3), B(1, 2), A(3, 2)Logical Foundations of Artificial IntelligenceChapter 2: 11 School of CIT, Beijing JiaoTong University问题状态描述问题状态描述要完成某个问题的状态描述必须确定三件事情要完成某个问题的状态描述必须确定三件事
15、情:1、该状态描述方式,特别是初始状态的描述方、该状态描述方式,特别是初始状态的描述方式式2、操作符(算符)集合及其对状态描述的作用、操作符(算符)集合及其对状态描述的作用3、目标状态描述的特征、目标状态描述的特征Logical Foundations of Artificial IntelligenceChapter 2: 12 School of CIT, Beijing JiaoTong University解题过程的表示解题过程的表示例例1的状态空间图的状态空间图Logical Foundations of Artificial IntelligenceChapter 2: 13 Sc
16、hool of CIT, Beijing JiaoTong University问题问题归约法归约法(Problem Reduction Representation)子问题子问题1子问题子问题n原始问题原始问题子问题集本本原原问问题题Logical Foundations of Artificial IntelligenceChapter 2: 14 School of CIT, Beijing JiaoTong University 问题归约表示的组成部分:问题归约表示的组成部分: 一个初始问题描述;一个初始问题描述; 一套把问题变换为子问题的操作符;一套把问题变换为子问题的操作符; 一套
17、本原问题描述。一套本原问题描述。 问题归约的实质:问题归约的实质: 从目标从目标( (要解决的问题要解决的问题) )出发逆向推理,建立子问出发逆向推理,建立子问题以及子问题的子问题,直至最后把初始问题归题以及子问题的子问题,直至最后把初始问题归约为一个平凡的本原问题集合。约为一个平凡的本原问题集合。2.2 问题规约法Logical Foundations of Artificial IntelligenceChapter 2: 15 School of CIT, Beijing JiaoTong University2.1 Conceptualization The formalization
18、 of knowledge in declarative 陈述陈述for begins with a Conceptualization.Objects(对象)(对象)Function(函数)(函数)Relation(关系)(关系)Conceptualization (概念化)(概念化)Logical Foundations of Artificial IntelligenceChapter 2: 16 School of CIT, Beijing JiaoTong UniversityObjects 需要描述的任何事物,也称为个体需要描述的任何事物,也称为个体(individuals) 具体
19、的、抽象的具体的、抽象的 简单的、复杂的简单的、复杂的 客观存在的、虚幻的客观存在的、虚幻的 论域(论域(Universe of Discourse):只与问题有关的对):只与问题有关的对象集合象集合 积木例子:积木例子:D = a, b, c, d, eabcde有限的有限的Logical Foundations of Artificial IntelligenceChapter 2: 17 School of CIT, Beijing JiaoTong UniversityFunction 函数:表示函数:表示对象与对象之间的相互关系。对象与对象之间的相互关系。 基函数集:在概念化过程中使
20、用的基本函数集合。基函数集:在概念化过程中使用的基本函数集合。 举例:举例:hat : hat(b)=a hat(c)=b或者写成或者写成,rotate:轮流轮流,abcdeLogical Foundations of Artificial IntelligenceChapter 2: 18 School of CIT, Beijing JiaoTong UniversityRelation 表示对象与对象之间的相互关系的另一种形式。表示对象与对象之间的相互关系的另一种形式。 基关系集:在概念化过程中使用的基本关系集合。基关系集:在概念化过程中使用的基本关系集合。 举例:举例:on关系:关系:
21、, 相邻相邻above关系关系: ,clear关系:关系:a,d最上最上table关系:关系:c,e最下最下abcdeLogical Foundations of Artificial IntelligenceChapter 2: 19 School of CIT, Beijing JiaoTong UniversityGenerality of Relation关系的一般性可以通过比较其中的元素来确定。如关系的一般性可以通过比较其中的元素来确定。如关系关系on比关系比关系above一般性低,因为一般性低,因为on above。特殊的关系:空关系,全关系特殊的关系:空关系,全关系具有具有b个对
22、象的个对象的n元全关系中有元全关系中有bn个元组,任一个元组,任一n元关系都是上述全关系元关系都是上述全关系的一个子集。有的一个子集。有 个个n元关系元关系函数与关系的区别:函数与关系的区别:函数:值仍为对象,至少涉及两个对象函数:值仍为对象,至少涉及两个对象关系:值为真或假,可以只涉及一个对象关系:值为真或假,可以只涉及一个对象可以用关系来表示函数可以用关系来表示函数nb2Logical Foundations of Artificial IntelligenceChapter 2: 20 School of CIT, Beijing JiaoTong UniversityConceptua
23、lization 概念化是三元组:概念化是三元组: 如如 概念化的物理含义与元组的定义(解释)有关,而与概念化的物理含义与元组的定义(解释)有关,而与名字无关。名字无关。 同一问题存在多种不同的概念化。同一问题存在多种不同的概念化。 不同的概念化表达的知识可能是不同的,如光的波粒不同的概念化表达的知识可能是不同的,如光的波粒二象性。二象性。 概念化不是一成不变的,需要不断完善和发展。如地概念化不是一成不变的,需要不断完善和发展。如地心说到日心说的发展。心说到日心说的发展。Logical Foundations of Artificial IntelligenceChapter 2: 21 Sc
24、hool of CIT, Beijing JiaoTong UniversityConceptualization 关系与函数的实例化:将函数与关系作为对象加入到对象关系与函数的实例化:将函数与关系作为对象加入到对象集合中,可以描述函数与关系的属性。集合中,可以描述函数与关系的属性。 可以描述积木的颜色可以描述积木的颜色; 可以评价可以评价颜色的好坏。颜色的好坏。(color(a)=red, nice:red,white) 如何找到更合理的概念化?如何找到更合理的概念化? 需要考虑需要考虑粒度问题粒度问题:也用于:也用于粗糙集和数据仓库粗糙集和数据仓库中中 粒度太小:问题表示过于繁琐,如积木问
25、题中粒度太小:问题表示过于繁琐,如积木问题中以原子以原子为粒度为粒度;粒度太大:无法表达细节粒度太大:无法表达细节Logical Foundations of Artificial IntelligenceChapter 2: 22 School of CIT, Beijing JiaoTong University2.2 Predicate Calculus谓词演算:将知识形式化成谓词公式的形式语言。谓词演算:将知识形式化成谓词公式的形式语言。谓词演算的基本概念谓词演算的基本概念 命题命题 谓词谓词 连接词与量词连接词与量词 项与谓词公式项与谓词公式 自由变元和约束变元自由变元和约束变元谓词
展开阅读全文