人工智能 复习纲要.pptVIP

人工智能 复习纲要 第一章 概论 什么是图灵测试?图灵测试的特点是什么? 人工智能的三大学派。 第二章 知识表示 一阶谓词逻辑表示的逻辑学基础 * 谓词逻辑表示方法 重点 比如 所有教师都有自己的学生 产生式的系统结构及每部分的作用 产生式系统进行推理的过程，比如 动物识别系统 语义网的知识表示方法 语义网的基本概念 什么是语义网络? 语义网络的组成? 语义网的基本的知识表示方法 实例关系ISA 分类关系AKO 属性关系:Have Can Age等 语义网的网络表示比如: 动物能运动、会吃。 鸟是一种动物，鸟有翅膀、会飞。 鱼是一种动物，鱼生活在水中、会游泳。 语义Web的知识表达方法之一 RDF 第3章 确定性推理 基本概念 推理的两个基本问题 推理的几种策略:正向、逆向、混合(双向) 推理的逻辑基础 谓词公式的永真性、永假性和可满足性 常用的永真蕴含式： 假言推理 P, P→Q ? Q 假言三段论 P→Q, Q→R ?P→R 归结演绎推理 子句集及其化简过程 鲁滨逊归结原理 归结反演推理的归结策略 用归结反演求取问题的答案 子句集及其化简过程 (1) 消去连接词“→”和“?” (2) 减少否定符号的辖域 (3) 对变元标准化 (4) 化为前束范式 (5) 消去存在量词 (6) 化为Skolem标准形 (7) 消去全称量词 (8) 消去合取词 (9) 更换变量名称 子句集及其化简 化简后的标准子句集是不唯一。 当原谓词公式为非永假时，它与其标准子句集并不等价。但当原谓词公式为永假（或不可满足）时，其标准子句集则一定是永假的， Skolem化并不影响原谓词公式的永假性。 鲁滨逊归结原理基本思想 首先把欲证明问题的结论否定，并加入子句集，得到一个扩充的子句集S‘。 然后设法检验子句集S‘是否含有空子句，若含有空子句，则表明S’是不可满足的； 若不含有空子句，则继续使用归结法，在子句集中选择合适的子句进行归结，直至导出空子句或不能继续归结为止。 谓词逻辑的归结 例3.16 已知 F: (?x)((?y)(A(x, y)∧B(y))→(?y)(C(y)∧D(x, y))) G: ﹁(?x)C(x)→(?x)(?y)(A(x, y)→﹁B(y)) 求证G是F的逻辑结论。 例 课后作业 3.15 3.19题 归结演绎推理的归结策略 广度优先策略是一种完备的归结策略 支持集策略是一种完备的归结策略 删除策略常用的删除方法有以下几种（纯文字、重言式、包孕） 什么是纯文字删除法? 什么是重言式删除法? 什么是重言式? 什么是包孕删除法? 单文字子句策略是不完备的 线形输入策略也是一种不完备的策略 祖先过滤策略也是完备的 例3.21 设有如下子句集： S={﹁I(x)∨R(x), I(a), ﹁R(y)∨L(y), ﹁L(a) } 用单文字子句策略证明S为不可满足 例3.22 设有如下子句集： S={﹁I(x)∨R(x), I(a), ﹁R(y)∨L(y), ﹁L(a) } 用线性输入策略证明S为不可满足。 * 用归结反演求取问题的答案 (1) 把问题的已知条件用谓词公式表示出来，并化为相应的子句集； (2) 把问题的目标的否定用谓词公式表示出来，并化为子句集； (3) 对目标否定子句集中的每个子句，构造该子句的重言式（即把该目标否定子句和此目标否定子句的否定之间再进行析取所得到的子句），用这些重言式代替相应的目标否定子句式，并把这些重言式加入到前提子句集中，得到一个新的子句集； (4) 对这个新的子句集，应用归结原理求出其证明树，这时证明树的根子句不为空，称这个证明树为修改的证明树； (5) 用修改证明树的根子句作为回答语句，则答案就在此根子句中。 例3.24 已知：“张和李是同班同学，如果x和y是同班同学，则x的教室也是y的教室，现在张在302教室上课。” 问：“现在李在哪个教室上课？” 第4章 搜索策略 哪些是盲目搜索？哪些算法是启发式搜索? 问题的与/或树表示 与/或树的基本概念 端节点与终止节点 可解节点与不可解节点 解树 状态空间的盲目搜索 广度优先 基本思想 从S0逐层向下扩展，第n层节点全部搜索完后进入第n+1层节点。 Open表中的节点总是按进入的先后排序。 此时，Open表的数据结构是何种类型? 深度优先 算法描述 (1) 把初始节点S0放入Open表中； (2) 如果Open表为空，则问题无解 ，失败退出； (3) 把Open表的第一个节点取出放入Closed表，并记该节点为n； (4