2015AI课件知识表示精简.pptVIP

* 人工智能原理 * 表示方法—连接词和量化的表示 dog postman P D bite B isa isa isa assailiant victin (b) s1 GS G isa 量化 Every dog has bitten a postman. form ? * 人工智能原理 * 表示方法—连接词和量化的表示 量化 Every dog has bitten every postman. dog postman P D bite B isa isa isa assailiant victin (c) G GS isa form ? * 人工智能原理 * 表示方法—连接词和量化的表示 存在量化在语义网络中可直接用ISA链来表示，而全称量化就是用分割方法来表示。 包含全称量词时解决方法之一是把语义网络分割成空间分层集合。 * 人工智能原理 * 表示方法 概述 状态空间法 问题规约法 谓词逻辑表示 产生式规则表示法 语义网络表示法 框架表示法 脚本方法 过程表示 混合型知识表示方法 面向对象的表示方法 * 人工智能原理 * 表示方法 概述 状态空间法 问题规约法 谓词逻辑表示 产生式规则表示法 语义网络表示法 框架表示法 脚本方法 过程表示 混合型知识表示方法 面向对象的表示方法 * 人工智能原理 * 表示方法—框架表示法 概述 1975年 Minsky在论文中提出了框架理论。他从心理学的证据出发，认为人的知识以框架结构记存在人脑中。当人们面临新的情况，或对问题的看法有重要变化时，总是从自己的记忆中找出一个合适的框架，然后根据细节加以修改补充，从而形成对新观察到的事物的认识。 人类对于一件事的了解，表现在对于这件实物的诸方面，即属性的了解。掌握了事物的属性，也就有了关于事物的知识，知识表示是从属性描述开始的。 * 人工智能原理 * 表示方法—框架表示法 定义 框架是由若干个结点和关系（统称为槽）构成的网络。是语义网络的一般化形式的一种结构。同语义网络没有本质的区别。如将语义网络结点间弧上的标注也放到槽内就成了框架表示形式。 表示形式： 由框架名、槽名、侧面、值组成 推理方法： 没有固定的推理机理。但和语义网络一样遵循匹配和继承的原理。 * 人工智能原理 * 例1 硕士生的具体框架 框架名：硕士生 ----姓名：单位（姓，名） ----性别：范围（男，女） ----------默认：男 ----年龄：单位（岁） ----------条件：岁〉16 ----学习专业：单位（专业名） ----研究方向：单位（方向名） ----导师姓名：单位（姓，名） ----参加课题：范围（国家级，省部级，其它） --------------默认：国家级 ----学籍：硕学籍 ----住址：单位（楼号，房间号） ----电话：单位（（区号），话机号） ----入学时间：单位（年，月） ----学制：单位（年） ----默认：4年 * 人工智能原理 * 例1硕士生的实例框架 框架名：硕士生-1 ----姓名：杨杨 ----性别：女--------- ----年龄：23-------- ----学习专业：计算机应用技术 ----研究方向：人工智能 ----导师姓名：林海 ----参加课题： ----学籍：硕学籍-1 ----住址：16号楼316房间号 ----电话：（010----入学时间：2000年9月--- ----学制： * 人工智能原理 * 表示方法 概述 状态空间法 问题规约法 谓词逻辑表示 产生式规则表示法 语义网络表示法 框架表示法 脚本方法 过程表示 混合型知识表示方法 面向对象的表示方法 * * * 人工智能原理 人工智能原理 * 人工智能原理 * 表示方法 概述 状态空间法 问题规约法 谓词逻辑表示 产生式规则表示法 语义网络表示法 框架表示法 脚本方法 过程表示 混合型知识表示方法 面向对象的表示方法 * 人工智能原理 * 表示方法 —问题归约法 问题归约是不同于状态空间的人工智能中另一种问题描述和求解方法,问题归约表示也是一个三元组(S0,F,G):S0--一个初始问题描述,即要解决的问题(初始问题)；F--一套把问题变换为子问题的操作符（操作算子集）；G--一套本原问题描述，其中的每一个问题是不需证明的，自然成立的，如公理、已知的实事等（本原问题集）。 所有问题归约的目的是最终产生具有明显解答的本原问题。这些问题可能是由状态空间搜索中走动一步解决的问题，或者可能是别的具有已知解答的更复杂的问题。 问题归约相当于对问题进行分解成若干个子问题集，然后进一步分解子问题，直至分解得到本原问题为止。 * 人工智能原理 * 表示方法 —问题归约法 梵塔难题 ?? 有3个柱子（1，