人工智能基础0-知识表示1000-合肥工业大学课件.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《人工智能基础0-知识表示1000-合肥工业大学课件.ppt》由用户(三亚风情)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 人工智能 基础 知识 表示 1000 合肥 工业大学 课件
- 资源描述:
-
1、1/66目录o 第一章第一章绪论绪论o 第三章搜索技术第三章搜索技术o 第三章第三章知识表示知识表示 o 第四章推理技术第四章推理技术o 第五章机器学习第五章机器学习 o 第六章计算智能第六章计算智能 o 第七章数据挖掘第七章数据挖掘o 第八章第八章 智能体技术智能体技术2/66o 知识及其表示概述知识及其表示概述o 状态空间法状态空间法o 谓词逻辑法谓词逻辑法o 产生式表示法产生式表示法o 语义网络法语义网络法o 框架表示框架表示o 其他表示方法其他表示方法3/663.1 知识及其表示概述1. 知识及知识表示知识及知识表示 费根鲍姆:知识是经过归约、塑造、解释和转换的有用费根鲍姆:知识是经过
2、归约、塑造、解释和转换的有用信息。信息。 即知识是经过加工的信息。即知识是经过加工的信息。 伯恩斯坦:知识是由特定领域的描述、关系和过程组成伯恩斯坦:知识是由特定领域的描述、关系和过程组成的。的。 海斯海斯-罗思:知识包括事实、信念和启发式规则等。罗思:知识包括事实、信念和启发式规则等。 知识库的观点:知识是某个论域中所涉及的各有关方面知识库的观点:知识是某个论域中所涉及的各有关方面、状态的一种符号表示。、状态的一种符号表示。 知识可从范围、目的、有效性知识可从范围、目的、有效性3个方面描述:范围是由个方面描述:范围是由具体到一般,目的是由说明到指定,有效性是由确定到不确具体到一般,目的是由说
3、明到指定,有效性是由确定到不确定。定。4/663.1 知识及其表示概述 “为了证明为了证明AB,只需证明,只需证明AB是不可满足的是不可满足的” 一般性、指示性、确定性一般性、指示性、确定性 “桌子有四条腿桌子有四条腿” 具体的、说明性、不确定性具体的、说明性、不确定性 知识表示是研究用机器表示知识的可行性、有效性的一知识表示是研究用机器表示知识的可行性、有效性的一般方法,是一种数据结构与控制结构的统一体。既考虑知识般方法,是一种数据结构与控制结构的统一体。既考虑知识的存储又考虑知识的使用。的存储又考虑知识的使用。 知识表示是一组描述事物的约定,以便把人类知识表示知识表示是一组描述事物的约定,
4、以便把人类知识表示成机器能处理的数据结构。成机器能处理的数据结构。5/663.1 知识及其表示概述2. 人工智能中知识表示人工智能中知识表示 四种知识四种知识 事实知识:有关问题环境的一些事物的知识。如事物的事实知识:有关问题环境的一些事物的知识。如事物的分类、属性、事物间的关系、科学事实、客观事实等。分类、属性、事物间的关系、科学事实、客观事实等。静态静态 规则知识:有关问题中与事物的行动、动作相联系的因规则知识:有关问题中与事物的行动、动作相联系的因果关系知识。果关系知识。动态动态 控制知识:有关问题的求解步骤、技巧性知识。如算法控制知识:有关问题的求解步骤、技巧性知识。如算法 元知识:有
5、关知识的知识,是知识库中的高级知识。如元知识:有关知识的知识,是知识库中的高级知识。如怎样使用规则、解释规则、校验规则、解释程序结构等。怎样使用规则、解释规则、校验规则、解释程序结构等。6/663.1 知识及其表示概述 陈述性知识表示:是对知识和事实的一种静止的表达方陈述性知识表示:是对知识和事实的一种静止的表达方法,如语义网络、框架和剧本等。是知识的一种法,如语义网络、框架和剧本等。是知识的一种显式显式表达。表达。 过程式知识表示:将有关某一问题领域的知识,连同如过程式知识表示:将有关某一问题领域的知识,连同如何使用这些知识的方法一起何使用这些知识的方法一起隐式隐式地表达为一个求解问题的过地
6、表达为一个求解问题的过程。如程序。程。如程序。7/663.1 知识及其表示概述3. 知识表示应该注意的问题知识表示应该注意的问题 合适性:所采用的知识表示方法因该恰好适合问题的处合适性:所采用的知识表示方法因该恰好适合问题的处理和求解。理和求解。 高效性:求解算法对所用的知识表示方法应该是高效高效性:求解算法对所用的知识表示方法应该是高效的,对知识的检索也应该是高效的。的,对知识的检索也应该是高效的。 可理解性:易于为用户理解,易于转化为自然语言。可理解性:易于为用户理解,易于转化为自然语言。 无二义性:知识表示的结果应该是唯一的。无二义性:知识表示的结果应该是唯一的。问问题题求求解解机机器器
7、处处理理自然语言自然语言自然语言自然语言知识表示知识表示知识表示知识表示待求解问题待求解问题问题解决方案问题解决方案8/663.2 状态空间法状态空间法:基于解答空间的问题表示和求解方法。状态空间法:基于解答空间的问题表示和求解方法。三要点三要点 状态:表示问题解法中每一步问题状况的数据结构。状态:表示问题解法中每一步问题状况的数据结构。 算符:把问题从一种状态变换为另一种状态的手段。算符:把问题从一种状态变换为另一种状态的手段。 状态空间法:以状态与算符为基础来表示问题和求解问题状态空间法:以状态与算符为基础来表示问题和求解问题。9/663.2 状态空间法状态空间表示举例状态空间表示举例猴子
8、与香蕉的问题:在一猴子与香蕉的问题:在一个房间内有一只猴子、一个箱个房间内有一只猴子、一个箱子和一束香蕉。香蕉挂在天花子和一束香蕉。香蕉挂在天花板下方,但猴子的高度不足以板下方,但猴子的高度不足以碰到它。那么猴子怎样才能摘碰到它。那么猴子怎样才能摘到香蕉呢?到香蕉呢? 10/663.2 状态空间法2.2.3 状态空间表示举例状态空间表示举例用四元组(用四元组(W,x, Y ,z)表示这个问题状态空间,其中:)表示这个问题状态空间,其中: W-猴子的水平位置;猴子的水平位置; x当猴子在箱子顶上时取当猴子在箱子顶上时取x=1;否则取;否则取x=0; Y箱子的水平位置;箱子的水平位置; z-当猴子
9、摘到香蕉时取当猴子摘到香蕉时取z=1;否则取;否则取z=0。11/662.2 状态空间法2.2.3 状态空间表示举例状态空间表示举例该问题算符:该问题算符: (1) goto(U):猴子走到水平位置:猴子走到水平位置U; (W,0, Y ,z) (U,0, Y ,z) (2) pushbox(V):猴子把箱子推到水平位置:猴子把箱子推到水平位置V; (W,0, W ,z) (V,0, V ,z) (3) climbbox:猴子爬上箱顶;:猴子爬上箱顶; (W,0, W ,z) (W,1, W ,z)goto(U)pushbox(V)climbbox12/662.2 状态空间法2.2.3 状态空
10、间表示举例状态空间表示举例(4) grasp:猴子摘到香蕉。:猴子摘到香蕉。 (c,1, c ,0) (c,1, c ,1) 其中,其中,c是香蕉正下方的地板位置。是香蕉正下方的地板位置。grasp13/662.2 状态空间法2.2.3 状态空间表示举例状态空间表示举例求解过程求解过程 令初始状态为令初始状态为(a,0,b,0)。这时,。这时,goto(U)是唯一适用的操作,是唯一适用的操作,并导致下一状态并导致下一状态(U,0,b,0)。现在有。现在有3个适用的操作,即个适用的操作,即goto(U),pushbox(V)和和climbbox(若若U=b)。把所有适用的操作。把所有适用的操作
11、继续应用于每个状态,我们就能够得到状态空间图继续应用于每个状态,我们就能够得到状态空间图该初始状态变换为目标状态的操作序列为:该初始状态变换为目标状态的操作序列为:goto(b),pushbox(c),climbbox,grasp14/662.2 状态空间法2.2.3 状态空间表示举例状态空间表示举例该初始状态变换为目标状态的操作序列为:该初始状态变换为目标状态的操作序列为:goto(b),pushbox(c),climbbox,grasp(a,0,b,0)(U,0,b,0)(V,0,V,0)(b,1,b,0)(c,1,c,0)(U,0,V,0)(c,1,c,1)U=bU=b, climbbo
12、xV=c, climbboxgoto(U)goto(U)goto(U)goto(U)pushbox(V)graspU=V15/663.3 谓词逻辑法3.3.1 谓词公式谓词公式 P(x1, x2, , xn) n元元谓词公式谓词公式(predicate formulas)其中,其中,P为为n元谓词,元谓词,x1, x2, , xn为客体变量或变元。为客体变量或变元。 原子公式只有当其对应的语句在定义域内为真时,才具有原子公式只有当其对应的语句在定义域内为真时,才具有值值T(真真);而当其对应的语句在定义域内为假时,该原子公式;而当其对应的语句在定义域内为假时,该原子公式才具有值才具有值F(假假
13、)。 例:例: y是孩子是孩子 : CHILDREN(y) x是是y的父母:的父母:PARENT(x, y)原子公式原子公式16/663.3 谓词逻辑法合适公式合适公式 在谓词演算中合适公式的递归定义如下:在谓词演算中合适公式的递归定义如下:(1) 原子谓词公式是合适公式。原子谓词公式是合适公式。(2) 若若A为合适公式,则为合适公式,则A也是一个合适公式。也是一个合适公式。(3) 若若A和和B都是合适公式,则都是合适公式,则(AB),(AB),(A=B)和和(AB)也都是合适公式。也都是合适公式。(4) 若若A是合适公式,是合适公式,x为为A中的自由变元,则中的自由变元,则( x)A和和(彐
14、彐x)A都都是合适公式。是合适公式。(5) 只有按上述规则只有按上述规则(1)至至(4)求得的那些公式,才是合适公式。求得的那些公式,才是合适公式。17/663.3 谓词逻辑法例:任何整数或者为正或者为负例:任何整数或者为正或者为负 用用I(x)表示表示“x是整数是整数”,P(x)表示表示“x是正数是正数”,N(x)表示表示“x是负数是负数” 于是,上述命题用谓词公式表示如下:于是,上述命题用谓词公式表示如下: ( x)(I(x) =(P(x) N(x)18/663.3 谓词逻辑法3.3.2 谓词演算谓词演算 1. 语法和语义语法和语义谓词逻辑的基本组成部分是谓词符号、变量符号、函数符号谓词逻
15、辑的基本组成部分是谓词符号、变量符号、函数符号和常量符号,并用圆括弧、方括弧、花括弧和逗号隔开,以和常量符号,并用圆括弧、方括弧、花括弧和逗号隔开,以表示论域内的关系。表示论域内的关系。r1r2INROOM(ROBOT, r1)INROOM(ROBOT, r2)INROOM(X, Y)19/663.3 谓词逻辑法2. 连词和量词连词和量词连词连词 合取:合取:用连词用连词 (与与)把几个公式连接起来而构成的公式叫做合把几个公式连接起来而构成的公式叫做合取式,而此合取式的每个组成部分叫做合取项。一些合适公取式,而此合取式的每个组成部分叫做合取项。一些合适公式所构成的任一合取也是一个合适公式。式所
16、构成的任一合取也是一个合适公式。 析取:析取:用连词用连词 (或或)把几个公式连接起来所构成的公式叫做析把几个公式连接起来所构成的公式叫做析取式,而此析取式的每一组成部分叫做析取项。由一些合适取式,而此析取式的每一组成部分叫做析取项。由一些合适公式所构成的任一析取也是一个合适公式。公式所构成的任一析取也是一个合适公式。 蕴涵:蕴涵:用连词用连词=连接两个公式所构成的公式叫做蕴涵。蕴涵的连接两个公式所构成的公式叫做蕴涵。蕴涵的左式叫做前项,右式叫做后项。如果前项和后项都是合适公左式叫做前项,右式叫做后项。如果前项和后项都是合适公式,那么蕴涵也是合适公式。式,那么蕴涵也是合适公式。20/663.3
17、 谓词逻辑法2.4.2 谓词演算谓词演算 非:非:前面具有符号的公式叫做否定。一个合适公式的否定也前面具有符号的公式叫做否定。一个合适公式的否定也是合适公式。是合适公式。 原子公式是谓词演算的基本积木块,运用连词能够组合多个原子公式是谓词演算的基本积木块,运用连词能够组合多个原子公式以构成比较复杂的合适公式。原子公式以构成比较复杂的合适公式。21/663.3 谓词逻辑法量词量词 全称量词全称量词 ( x):若一个原子公式若一个原子公式P(x),对于所有可能变量,对于所有可能变量x都具都具有有T值,则用值,则用( x)P(x)表示。表示。 ( x)(现代理工科大学生现代理工科大学生(x)学习计算
18、机应用基础学习计算机应用基础(x) “所有现代理工科的大学生所有现代理工科的大学生x,都必须学习计算机应用基础课程,都必须学习计算机应用基础课程” 存在量词存在量词(彐彐x):若一个原子公式若一个原子公式P(x),至少有一个变量,至少有一个变量x,可使,可使P(x)为为T值,则用值,则用(彐彐x )P(x)表示。表示。 ( x)(彐彐y)(CLASSMATE(x, y)COLLEGE OF COMPUTER(x); 在所有的计算机学院学生中,相对于每一位同学在所有的计算机学院学生中,相对于每一位同学x,必然,必然存在一个个体存在一个个体y,y同学与同学与x满足同班同学的满足同班同学的关关系。系
19、。 22/663.3 谓词逻辑法 量化一个合适公式中的某个变量所得到的表达式也是合适量化一个合适公式中的某个变量所得到的表达式也是合适公式。如果一个合适公式中某个变量是经过量化的,就把这公式。如果一个合适公式中某个变量是经过量化的,就把这个变量叫做约束变量,否则就叫它为自由变量。在合适公式个变量叫做约束变量,否则就叫它为自由变量。在合适公式中,感兴趣的主要是所有变量都是受约束的。这样的合适公中,感兴趣的主要是所有变量都是受约束的。这样的合适公式叫做句子。式叫做句子。23/663.3 谓词逻辑法3. 演算演算 真值表真值表PQP QP QP =Q PTTTTTFFTTFTTTFTFFFFFFFT
20、T24/663.3 谓词逻辑法等价关系等价关系 (1) 否定之否定否定之否定(P)等价于等价于P(2) PQ等价于等价于P =Q(3) 狄狄摩根定律摩根定律(PQ)等价于等价于PQ(PQ)等价于等价于PQ25/663.3 谓词逻辑法 (4) 分配律分配律P(QR)等价于等价于(PQ)(PR)P(QR)等价于等价于(PQ)(PR)(5) 交换律交换律PQ等价于等价于QPPQ等价于等价于QP(6) 结合律结合律(PQ)R等价于等价于P(QR)(PQ)R等价于等价于P(QR)26/663.3 谓词逻辑法 (7) 逆否律逆否律P =Q等价于等价于Q =P此外,还可建立下列等价关系:此外,还可建立下列等
21、价关系:(8) (彐彐x)P(x)等价于等价于( x)P(x)( x)P(x)等价于等价于(彐彐x)P(x)(9) ( x)P(x)Q(x)等价于等价于( x)P(x)( x)Q(x)( x)P(x)Q(x)等价于等价于( x)P(x)( x)Q(x)(10) ( x)P(x)等价于等价于( y)P(y)(彐彐x)P(x)等价于等价于(彐彐y)P(y)27/663.3 谓词逻辑法3.3.3 置换与合一置换与合一1. 置换置换假元推理:假元推理:由合适公式由合适公式W1和和W1W2产生合适公式产生合适公式W2的运的运算。算。全称化推理:全称化推理:是由合适公式是由合适公式( x)W(x)产生合适
22、公式产生合适公式W(A),其中其中A为任意常量符号。为任意常量符号。 例例 表达式表达式Px, f(y), B的的4个置换为个置换为 s1=z/x, w/y 出现出现x和和y的地方,分别用的地方,分别用z和和w替换替换 s2=A/y s3=q(z)/x,A/y s4=c/x, A/y28/663.3 谓词逻辑法一个表达式的置换就是在该表达式中用置换项置换变量。一个表达式的置换就是在该表达式中用置换项置换变量。 Px, f(y), B s1= Pz, f(w), B Px, f(y), B s2= Pz, f(A), B Px, f(y), B s3= Pq(z), f(A), B Px, f(
23、y), B s4= Pc, f(A), B 置换是可结合的置换是可结合的 (L s1) s2= L (s1) s2 (s1 s2) s3= s1 (s2 s3 ) 置换是不可交换的置换是不可交换的 s1 s2 s2 s329/663.3 谓词逻辑法2. 合一合一 寻找项对变量的置换,以使两表达式一致,叫做寻找项对变量的置换,以使两表达式一致,叫做合一合一(unification)。 如果一个置换如果一个置换s作用于表达式集作用于表达式集Ei的每个元素,则用的每个元素,则用Eis来表示置换例的集。来表示置换例的集。 称表达式集称表达式集Ei是是可合一的可合一的: 如果存在一个置换如果存在一个置换
24、s使得:使得:E1s=E2s=E3s=那么称此那么称此s为为Ei的的合一者合一者,因为,因为s的作用是使集合的作用是使集合Ei成为单一形式。成为单一形式。 例例 表达式集表达式集Px, f(y), B , Px, f(B), B 的合一者为的合一者为 s=A/x, B/y Px, f(y), Bs= Px, f(B), Bs= PA, f(B), B 最简单的合一最简单的合一 g=B/y30/663.4 产生式表示法1943年,美国逻辑学家年,美国逻辑学家Post首先提出首先提出1. 产生式的基本形式产生式的基本形式 产生式规则产生式规则 IF P THEN Q 或或 PQ P称为条件、前项或
25、产生式的左边称为条件、前项或产生式的左边 Q称为操作、结果或产生式的右边称为操作、结果或产生式的右边与蕴涵式与蕴涵式 P=Q区别区别 蕴涵式中蕴涵式中 P、Q要求是谓词公式要求是谓词公式 产生式中产生式中P、Q可以是谓词公式,也可以不是可以是谓词公式,也可以不是31/663.4 产生式表示法事实:事实: 雪是白的雪是白的 (snow, color, white) 老王和老张老王和老张 (friendship, wang, zhang)规则:规则: p: 细菌革式染色阴性细菌革式染色阴性 形态杆状形态杆状 生长需氧生长需氧 Q:该细菌是肠杆菌属,可信度为:该细菌是肠杆菌属,可信度为0.8 32/
展开阅读全文