- 1、本文档共76页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
高级人工智能-知识表示课件
Advanced AI
知识表示
2016年秋季
罗平 luop@ict.ac.cn
2
提纲
框架表示法
过程表示法
按照符号主义的观点,知识是一切智能行为的基础,要使计算机具有智能,首先必须使它拥有知识
知识与知识表示的概念
一阶谓词逻辑表示法
产生式表示法
语义网络表示法
3
提纲
框架表示法
过程表示法
按照符号主义的观点,知识是一切智能行为的基础,要使计算机具有智能,首先必须使它拥有知识
知识与知识表示的概念
一阶谓词逻辑表示法
产生式表示法
语义网络表示法
4
什么是知识?
知识是人们在改造客观世界的实践中积累起来的认识和经验
认识:包括对事物现象、本质、属性、状态、关系、联系和运动等的认识
经验:包括解决问题的
微观方法:如步骤、操作、规则、过程、技巧等
宏观方法:如战略、战术、计谋、策略等
5
有代表性的定义
什么是知识?
--- Feigenbaum
知识是经过剪裁、塑造、解释、选择和转换了的信息
知识由特定领域的描述、关系和过程组成
知识=事实+信念+启发式
--- Heyes-Roth
---Bernstein
6
知识、信息、数据及其关系
数据是信息的载体,本身无确切含义,其关联构成信息
信息是数据的关联,赋予数据特定的含义
知识可以是对信息的关联,也可以是对已有知识的再认识
常用的关联方式: if …… then ……
什么是知识?
7
知识的类型
按知识的性质
概念、命题、公理、定理、规则和方法
按知识的作用域
常识性知识:通用通识的知识。人们普遍知道的、适应所有领域的知识。
领域性知识:面向某个具体专业领域的知识。
例如:专家经验。
8
按知识的作用效果
事实性知识:用于描述事物的概念、定义、属性等;或用于描述问题的状态、环境、条件等。反映事物的静态特征
过程性知识:用于问题求解过程的操作、演算和行为的知识;用来指出如何使用那些与问题有关的事实性知识的知识
例如:产生式、谓词、语义网络等。
控制性知识:(元知识或超知识) 关于如何使用过程性知识的知识
例如:推理策略、搜索策略、不确定性的传播策略。
知识的类型
9
按知识的等级
零级知识:叙述性知识
一级知识:过程性知识
二级知识:控制性知识(元知识或超知识)
按知识的层次
表层知识:描述客观事物的现象的知识。例如:感性、事实性知识
深层知识:描述客观事物本质、内涵等的知识。例如:理论知识
知识的类型
10
按知识的确定性
确定性知识:可以说明其真值为真或为假的知识
不确定性知识:包括不精确、模糊、不完备知识
不精确知识:知识本身有真假,但由于认识水平限制却不能肯定其真假。用可信度、概率等描述
模糊知识:知识本身的边界就是不清楚的。例如:大,小等。 用可能性、隶属度来描述
不完备知识:解决问题时不具备解决该问题的全部知识。例如:医生看病
知识的类型
11
知识表示是对知识的描述
是用一组符号把知识编码成计算机可以接受的某种结构
表示方法不唯一。
什么是知识表示?
12
知识表示的要求
可利用性:可利用这些知识进行有效推理。包括:
对推理的适应性:推理是根据已知事实利用知识导出结果的过程
对高效算法的支持程度:知识表示要有较高的处理效率
可实现性:要便于计算机直接对其进行处理
可组织性:可以按某种方式把知识组织成某种知识结构
可维护性:便于对知识的增、删、改等操作
自然性:符合人们的日常习惯
可理解性:知识应易读、易懂、易获取等
知识表示的要求
13
逻辑表示法:一阶谓词逻辑
产生式表示法:产生式规则
结构表示法:语义网络
知识表示的方法
14
一阶谓词逻辑表示法
主要讨论
一阶谓词逻辑表示的逻辑学基础
命题和真值;论域和谓词;连词和量词;
项与合式公式;自由变元与约束变元
谓词逻辑表示方法
谓词逻辑表示的应用
谓词逻辑表示的特性
一阶谓词逻辑表示法是一种基于数理逻辑的表示方法
一阶经典逻辑:一阶经典命题逻辑,一阶经典谓词逻辑
非一阶经典逻辑:指除经典逻辑以外的那些逻辑,例如:二阶逻辑,多值逻辑,模糊逻辑等。
15
命题的定义:
断言:一个陈述句称为一个断言.
命题:具有真假意义的断言称为命题.
命题的真值:
T:表示命题的意义为真
F:表示命题的意义为假
命题真值的说明
一个命题不能同时既为真又为假
一个命题可在一定条件下为真,而在另一条件下为假
谓词逻辑基础
16
论域:由所讨论对象的全体构成的集合。亦称为个体域
个体:论域中的元素
谓词:在谓词逻辑中命题是用形如P(x1,x2,…,xn)的谓词来表示的
谓词名:是命题的谓语,表示个体的性质、状态或个体之间的关系
个体:是命题的主语,表示独立存在的事物或概念
设D是个体域,P:Dn→{T,F}是一个映射,其中
则
文档评论(0)