人工智能期末复习概要课件.pptVIP

人工智能复 习北京师范大学信息科学与技术学院王醒策 第一章 绪论课程研究的主要内容-– 知识表示– 推理方式确定性推理（主要归结原理）-不确定性推理-– 搜索技术研究普通图搜索-超图搜索（与或图搜索）- 第一章 绪论需要解决的问题：-– 万能的人工智能的知识体系结构从根本上就不可能有，最根本的原因是缺乏知识。人是根据知识行事的，而不是根据抽象原则上进行推理。– 即使是推理系统中，它的主要技术是状态空间搜索。而在执行的过程中最主要的问题就是组合爆炸问题，只有是用理性的知识才能够摆脱困境。 第一章 绪论人工智能的瓶颈问题-– 知识获取– 规模扩展– 应用前景 第二章 知识的表示知识的获取--– 如何从现实世界中得到知识。知识的表示– 如何将已经获取的知识以计算机内部代码的形式加以合理的表示，以便于存储。知识的运用-– 如何运用这些知识进行推理以解决实际的问题 。 第二章 知识的表示知识的定 义-– 数据– 信息– 知识 第二章 知识的表示知识表示方式-– 直觉表示方法– 逻辑表示方法– 产生式表示方法– 语义网络表示方法– 框架表示方法 第二章 知识的表示知识表示方式-– 面向对象表示方法– 脚本表示方法– 状态空间表示方法– 与/或树表示方法 第二章 知识的表示逻辑表示法（经典逻辑推理）– 一阶谓词逻辑-– 谓词逻辑的规范表达式P(x1,x2,…,xn)– 逻辑表示法语法和语义-1 基本符号-2 原子公式-3 连词和量词- 第二章 知识的表示产生式表示法（产生式系统、专家系统）– 产生式表示的形式-– 产生式与谓词逻辑中的蕴涵式的区别蕴涵式只能表示精确知识，产生式不仅可以表-示精确知识，而且可以表示不精确知识蕴涵式要求前提精确匹配，产生式可以不精确匹配-蕴含式有真值，产生式没有真值- 第二章 知识的表示产生式知识表示方法-– 确定性规则知识的产生式表示– 不确定性规则知识的产生式表示– 确定性事实知识的产生式表示– 不确定性事实知识的产生式表示产生式系统的组成-– 规则库、综合数据库、推理机（匹配、冲突解决、操作） 第二章 知识的表示语义网络表示法（自然语言理解）-– 从理论上来说，语义网络与一阶谓词具有同样的知识表示能力。– 语义网络中常用的语义联系类属关系（AKO、AMO、ISA）-包含关系（Part-of）-占有关系（Have）-时间关系（Before、After、During）- 第二章 知识的表示语义网络表示法-– 语义网络中常用的语义联系位置关系（Located-on、 Located-at 、-Located-under、 Located-inside、 Located-outside）相近关系（Similar-to、Near-to）-属性关系（IS）- 第二章 知识的表示语义网络表示知识的方法– 事实性知识-– 情况和动作的表示情况的表示（情况节点）-动作和事件的表示（动作节点）-– 逻辑关系的表示合取和析取的表示-存在量词和全称量词的表示- 第二章 知识的表示框架表示法-– 组成：框架是由框架名、槽、侧面和值四个部分组成的-举例子：计算机主机-– 框架表示法表示知识的步骤分析表达只是对象及其属性，对框架中的槽进-行合理设置对各对象之间的联系进行考察。使用一些常用的或根据需要定义的槽名，来表示上下框架联系- 第二章 知识表示状态空间表示法-– 问题的状态空间构成状态-算符-状态空间（S,F,G）状态空间的图示形式成为状态空间图。节点表示状态，有向边表示算符- 第二章 知识表示用状态空间表示问题的步骤-– 定义状态的描述形式– 用所定义的状态描述形式把问题的所有可能状态都表示出来，并确定出问题的初始状态描述和目标状态集合描述– 定义一组算符，使得利用这组算符可把问题有一种状态转变为另一种状态。 第二章 知识表示与/或树表示法-– 问题的分解与等价变换– 问题的归约的与/或树表示与树、或树、与/或树-端节点与终止节点-可解节点与不可解节点-解树- 第三章 确定性推理方法要求：--熟练掌握构造逻辑公式的合取范式，skolem标准型的转化方法，归结法进行归结的过程。掌握归结过程中的控制策略 第三章 确定性推理方法推理方式-– 正向推理– 反向推理– 双向推理– 混合推理 第三章 确定性推理方法自然演绎推理方法-– 假言三段论P Q，Q R=P R– 拒取式P Q，~Q=~P– 假言推理：P，P Q=Q 第三章 确定性推理方法归结推理方法（消解法）--将谓词公式化为Skolem标准形步骤– 消去→号和(双蕴含符号)；– ～深入到量词内部；– 全称量词左移，使所有的变元名称均不相同；– 消去存在量 词– 把全称量词全部移到公式的左边– 母式化为和取范式 第三章 确定性推理方法归结过程的步骤-– 将命题写成合取范式– 根据给出