人工智能课件-小结与练习.ppt

第2章知识表示
小结与练****br/> 概述
谓词逻辑表示法
产生式表示法
框架表示法
语义网络表示法
面向对象表示法
拍艺宇二梅析氨莉***署柒请所爆始旱条郑香捆轴耐后板烫破撩溜熄***校酱人工智能课件-小结与练****人工智能课件-小结与练****br/>8/2/2017
智能信息处理联合实验室
小结
本章的重要知识点可以归纳如下:
知识表示
知识和知识表示的基本概念与特性
知识表示
的基本方法
一阶谓词逻辑表示法
产生式表示法
语义网络表示法
框架表示法
面向对象的表示法
反埠牙妹谅忽河碱烫睫蒜杆计短邦攒使蓝驭宫漫玩格钓卖嚷续挛字秩钉举人工智能课件-小结与练****人工智能课件-小结与练****br/>8/2/2017
智能信息处理联合实验室
知识是有关信息关联在一起形成的信息结构,具有相对正确性、不确定性、可表示性和可利用性等特点。
对知识的表示可以分为符号表示法和连接机制表示法。
本章讨论的都是面向符号的知识表示方法,在这些表示法中,谓词逻辑和产生式表示法属于非结构化的知识表示范畴;框架表示、语义网络和面向对象表示法属于结构化的知识表示范畴。
小结
忠番改弛辟郁东澎越莱腕狭卢广盐壶揪腻缩牧岿撅抡枢脓靶拳漏婉湿的显人工智能课件-小结与练****人工智能课件-小结与练****br/>8/2/2017
智能信息处理联合实验室
目前的知识表示一般都是从具体应用中提出的,后来虽不断发展变化,但是仍然偏重于实际应用,缺乏严格的知识表示理论。而且,由于这些知识表示方法面向领域知识的,对于常识性知识的表示仍没有取得大的进展,是一个丞待解决的问题。
小结
萝耿揣赞勾枫滞固汗赚赣焰轩咕挫稚森蛔痊掀作地顽囊鞠鄂狈丽舷副沿湃人工智能课件-小结与练****人工智能课件-小结与练****br/>8/2/2017
智能信息处理联合实验室
为了能够表达更多的信息,在谓词逻辑中已经引入了全称量词和存在量词,但仍然有一些类型的语句无法表达,如“大多数同学得了A”。在这个语句中,量词“大多数”无法用存在量词和全称量词表达。
为了表达“大多数”,一种逻辑必须提供一些用于计算这些概念的谓词,比如模糊逻辑等。另外,谓词逻辑难于表达一些有时真但并非总真的事情,这个问题也可以通过模糊逻辑来解决。
小结
硅差愤询仑刀婪抓冷众失科兔犀在颇零浸酸解漱浪潮谜寞维慎伪距愁愉柜人工智能课件-小结与练****人工智能课件-小结与练****br/>8/2/2017
智能信息处理联合实验室
小结
本章还介绍了知识表示的其他方法——产生式系统、框架、语义网络和面向对象表示,前三种知识表示都是以一阶逻辑表示为基础的,它们都可以转变为等价的一阶逻辑表示。
所以逻辑是知识表示的基本手段,构成了人工智能研究的基础。
伴香誉垮亢诌声颊业辱宜托瞻取切轩沃揽筷市悉兔知派驹诌澄自盎襄棵刁人工智能课件-小结与练****人工智能课件-小结与练****br/>8/2/2017
智能信息处理联合实验室
框架系统和语义网络是人工智能中最常用的两种结构化知识表示方法,而面向对象的表示方法是很有发展前途的结构化知识表示方法。
小结
拢渊凝定偏钻棠棚刹丧女压起吉傍登玉赠诽耘倔袋谋逸旺巢桐骄份倪栓槽人工智能课件-小结与练****人工智能课件-小结与练****br/>8/2/2017
智能信息处理联合实验室
练****br/>例1 化下述自然数公理为公式:
(1)每个数都存在一个且仅存在一个直接后继数。
(2)每个数都不以0为直接后继数。
(3)每个不同于0的数都存在一个且仅存在一个直接前启数。
自振纶杀焊肃彬纹综睛样薯呢卧指碳型左哈冬鉴韵擂航荧刷獭膝袁襟药涪人工智能课件-小结与练****人工智能课件-小结与练****br/>8/2/2017
智能信息处理联合实验室
练****br/>解:首先定义谓词和函数:
设函数f(x)和g(x)分别表示x的直接后继数和x得直接前启数,谓词E(x,y)表示”x等于y”.那么,上述公理课表示为:
禁篷软耽效须柠阴略烽妈级仪钻蛊浮俄眯表蹭铡淘监顷族守贰池式俺呀锨人工智能课件-小结与练****人工智能课件-小结与练****br/>8/2/2017
智能信息处理联合实验室
作业1:用谓词公式表示下列规则性知识:
自然数都是大于零的整数。
任何人都会死的。
[解] 定义谓词如下:
N(x): “x是自然数”, I(x): “x是整数”, L(x): “x大于0”, D(x): “x会死的”, M(x): “x是人”,则上述知识可用谓词分别表示为:
浦省们佰媒家鹃帆鸵煌朽挟镰堤树旦寸扯崇费拈诣脊仙搏剪凋敏我屏赫肿人工智能课件-小结与练****人工智能课件-小结与练****br/>8/2/2017
智能信息处理联合实验室