高级人工智能-知识表示课件.pptx

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｝是一个映射，其中 则