人工智能导论教学课件U2.pptx
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《人工智能导论教学课件U2.pptx》由用户(晟晟文业)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 人工智能 导论 教学 课件 U2
- 资源描述:
-
1、知 识 表 示什么是人工智能知识表示是知识的符号化和形式化的过程,是用机器表示知识的可行性、有效性的一般方法,是一种数据结构与控制结构的统一体,既考虑知识的存储又考虑知识的使用。知识表示可以看成是一组描述事物的约定,以把人类知识表示成机器能处理的数据结构。本章介绍了多种知识表示的方法。一阶谓词逻辑表示法命题逻辑定义定义1 命题(proposition)是一个非真即假的陈述句。若命题的意义为真,称它的真值为真,记为T。若命题的意义为假,称它的真值为假,记为F。一个命题可在一种条件下为真,在另一种条件下为假。【例2-1】35太阳从西边升起北京是中华人民共和国的首都谓词逻辑1.谓词定义3 谓词的一般
2、形式:P(x1,x2,xn)其中,个体x1,x2,xn表示某个独立存在的事物或者某个抽象的概念;谓词名P表示刻画个体的性质、状态或个体间的关系。个体可以是常量,变元(变量),函数和谓词。【例2-2】“老张是一个教师”:一元谓词Teacher(Zhang)“x5”:Less(x,5)“小李的父亲是教师”:Teacher(father(Li)“Smith作为一个工程师为IBM工作”:二阶谓词Works(engineer(Smith),IBM)谓词逻辑2.谓词公式(1)连接词:“否定”(negation)或“非”:“析取”(disjunction)或:“合取”(conjunction)与:“蕴含”(
3、implication)或“条件”(condition)|:“等价”(equivalence)或“双条件”(bicondition)P QPPQPQPQPQT TFTTTTT FFTFFFF TTTFTFF FTFFTT真值表谓词逻辑2.谓词公式【例2-3】“机器人不在2号房间”:Inroom(robot,r2)“李明打篮球或踢足球”:Plays(Liming,basketball)Plays(Liming,football)“我喜欢音乐和绘画”:Like(I,music)Like(I,painting)“如果刘华跑得最快,那么他取得冠军。”:RUNS(Liuhua,faster)WINS(L
4、iuhua,champion)“P当且仅当Q”:P|Q谓词逻辑2.谓词公式(2)量词:全称量词(universal quantifier)(x):“对个体域中的所有(或任一个)个体x”。【例2-4】“所有的机器人都是灰色的”:(x)ROBOT(x)COLOR(x,GRAY)存在量词(existential quantifier)(x):“在个体域中存在个体x”【例2-5】“1号房间有个物体”:(x)INROOM(x,r1)其中,全称量词和存在量词出现的次序将影响命题的意思。谓词逻辑3.一阶谓词逻辑知识表示方法谓词比命题更加细致地刻画知识,可以表示事物的状态、属性、概念等事实,也可以表示因果关系
5、;表达能力强,如:北京是个城市,City(x),把城市这个概念分割出来。把“城市”与“北京”两个概念连接在一起,而且说明“北京”是“城市”的子概念;谓词可以代表变化的情况,如:City(北京),真。City(煤球),假;在不同的知识之间建立联系,如:Human(x)Lawed(x),人人都受法律管制,x是同一个人。Commit(x)Punished(x),x不一定是人也可以是动物。而,Human(x)Lawed(x)commit(x)Punished(x),意为如果由于某个x是人而受法律管制,则这个人犯了罪就一定要受到惩罚。谓词逻辑3.一阶谓词逻辑知识表示方法【例2-7】所有教师都有自己的学生
6、定义:T(x):x是教师S(y):y是学生TS(x,y):x是y的教师(x)(T(x)TS(x,y)S(y)对于所有x,若x是教师,则一定存在一个个体y,x是y的老师,且y是学生。【例2-8】所有整数不是偶数就是奇数定义谓词:I(x)E(x)O(x)(x)(I(x)E(x,y)O(x)谓词逻辑4.推理(1)常用等价关系:谓词逻辑4.推理(2)永真蕴涵:【例2-10】证明P是PQ,QR,R的有效结论证:1)R:P(前提)2)QR:P(前提)3)Q:T(结论),(1)(2),由P,PQQ4)PQ:P(前提)5)QP:T,(4),由PQQP6)P:T,(3)(5),由P,PQQ产生式表示法产生式系统
7、的基本特征产生式系统的三要素是数据库、规则、解释程序。(1)数据库(data base):存放的数据是构成产生式的基本元素,又是产生式作用的对象。这里的数据是广义的常量、变量、多元组谓词、表、图像等。(2)一组规则,即产生式本身,每个规则分左部(LHS),右部(RHS)。如:天上下雨地上湿 中国的首都是北京一般左边表示情况,即什么条件。发生时产生式被调用。通常用匹配方法和式情况。匹配成功时,执行右边规定的动作。(3)解释程序:从匹配成功的规则(可能不止一个)中选出一个加以执行。产生式表示法产生式系统特点产生式系统的三要素是数据库、规则、解释程序。(1)相对固定格式(2)知识的模块化(3)相互影
8、响的间接性(4)机器可读性产生式表示法产生式知识元(1)常量字符串:最简单的一种形式,仅当两个常量字符串恒等时,相应的两个知识元才算匹配成功,仅当LHS的每个知识元都和当前数据库中的某个知识元匹配成功,该LHS才算匹配成功。【例2-11】某单位的职称体制产生式系统的知识元graduateseminarassistantAssistantlecturelecturerLecturerpapera-professorA-professorbookprofessor产生式表示法产生式知识元(2)置换系统:【例2-13】有一个智力竞赛,开始时主持人在每个竞赛者头上戴一顶帽子,颜色有红、白两种,但至少有
9、一顶为白色,题目是说出自已所戴帽子的颜色。规则如下:color(x,red)color(y,red)xycolor(himself,white)color(x,red)color(y,red)cant answer(y)color(himself,white)color(x,red)color(y,white)answer(y)color(himself,red)color(x,white)color(y,white)cant answer(y)cant answer at second time(y)color(himself,white)color(x,white)color(y,whit
展开阅读全文