人工智能-第二章.ppt

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
知识与知识表示的概念 一阶谓词逻辑表示法 产生式表示法 语义网络表示法 框架表示法 其它表示法; 知识 知识:是人们在改造客观世界的实践中积累起来的认识和经验。 数据:是指人们为了描述客观世界中的具体事物而引入的一些数字、字符、文字等符号或符号的组合。 信息:是指用不同数据组成的一种结构。 数据是信息的载体和表示。 信息是数据在特定场合下的含义,或者说信息是数据的语义。; 知识 知识是对信息进行智能性加工所形成的对客观世界规律性的认识。 三个有代表性的定义 知识是经过消减、塑造、解释、选择和转换的信息。 知识是由特定领域的描述、关系和过程组成的。 知识=事实+信念+启发式。; 知识 知识的属性 真假性与相对性 真假性是指可以通过实践或推理来证明知识为真或为假。 相对性是指知识的???与假是相对于某些条件、环境及时间而言。 不确定性 不确定性包括不完备性、不精确性与模糊性。; 知识 不完备性是指在解决问题时不具备解决该问题所需要的全部知识。 不精确性是指知识所具有的既不能完全被确定为真,又不能完全被确定为假的特性。 模糊性是指知识的“边界”不明确的特性。; 知识 矛盾性和相容性 矛盾性是指同一个知识集中的不同知识之间相互对立或不一致,即从这些知识出发,会推出不一致的结论。 相容性是指同一个知识集中的所有知识之间互相不矛盾。; 知识 可表示性和可利用性 可表示性是指知识可以用适当的形式表示出来。 可利用性是指知识可以被用来解决各种各样的问题。 知识的类型 按知识的性质:概念、命题、公理、定理、规则和方法等。; 知识 按知识的作用范围:常识性知识和领域性知识。 按知识的作用:事实性知识、过程性知识和控制性知识。 事实性知识是用来描述问题或事物的概念、属性、状态、环境及条件等情况的知识。 过程性知识是用来描述问题求解过程所需要的操作、演算或行为等规律性知识。; 知识 控制性知识是关于如何运用已有知识进行问题求解的知识。 按知识的层次:表层知识和深层知识。 表层知识是指客观事物的现象以及这些现象与结论之间关系的知识。 深层知识是指事物本质、因果关系内涵、基本原理之类的知识。; 知识 按知识的确定性:确定性知识和不确定性知识。 确定性知识是可以给出其真值为“真”或“假”的知识。 不确定性知识是指具有“不确定”特性的知识。 按知识的等级:零级知识、一级知识和二级知识等。; 知识 零级知识是指问题领域内的事实、定理、方法、实验对象和操作等常识性和原理性知识。 一级知识是指具有经验性、启发性的知识。 二级知识是指如何运用上述两级知识的知识。 按知识的结构及表现形式:逻辑性知识和形象性知识。 逻辑性知识是反映人类逻辑思维过程的知识。 形象性知识是通过事物的形象建立起来的知识; 知识表示 知识表示:就是对知识的一种描述,即用一些约定的符号把知识编码成一组计算机可以接受的数据结构。 知识表示的要求 表示能力:是指能否正确、有效地将问题求解所需要地各种知识表示出来。(范围的广泛性;高效性;支持程度)。 可利用性:是指使用知识进行推理,以求得问题的解。; 知识表示 可组织性与可维护性 知识的组织是指把有关知识按照某种方式组成一种知识结构。 知识维护是指在保证知识的一致性与完整性的前提下对知识所进行的增加、删除、修改等操作。 可实现性:是指知识表示要便于在计算机上实现,便于直接由计算机对其进行处理。; 知识表示 自然性与可理解性 自然性是指知识表示形式要符合人们的日常习惯和思维方式。 可理解性是指所表示的知识应易读、易懂、易获取、易维护。 知识表示方法 目前使用较多的有:一阶谓词逻辑表示法、产生式表示法、语义网络表示法、框架表示法等。; 一阶谓词逻辑表示法 一阶谓词逻辑表示法是一种基于数理逻辑的知识表示方式。 它是人工智能中使用较多的知识表示法,主要用于自动定理证明、问题解答、机器人等领域。 ; 一阶谓词逻辑表示的逻辑基础 命题与真值 命题:能够判断真假的陈述句。 真值:命题的意义,有真假两种情况。 论域和谓词 论域:由所讨论对象的全体构成的非空集合。 论域中的元素称为个体,论域也称为个体域。 在谓词逻辑中,命题是用谓词来表示的。一个谓词可分为谓词名和个体两部分。; 一阶谓词逻辑表示的逻辑基础 论域和谓词 个体是命题的主语,用来表示某个独立存在的事物或者某个抽象的

文档评论(0)

a888118a + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档