人工智能期末复习.doc
《人工智能期末复习.doc》由会员分享,可在线阅读,更多相关《人工智能期末复习.doc(6页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、第二章状态空间法要完成某一个具体问题的状态描述,必须完成三项工作:如何描述状态,特别是初始状态 操作符集合及其对状态描述的作用 如何描述目标状态即定义好三元状态(S, F, G)中的三个成分 。状态空间法的问题:寻找从初始状态到目标状态的某一个操作符序列状态空间法的解:从初始状态变换到目标状态的操作符序列2.1.2 状态图示法 状态空间法(求解过程)的表示方法:用图来表示(借助于图论中某些技术)图是由节点(不一定是有限个的节点)的集合构成的注意:在图论中,图的定义中还包括边的集合当用有向图来表示状态空间法时,对应关系: 图中的一个节点对应于某一个状态 图中的一个有向弧对应于某一个算符注:有向弧
2、的旁边可以标以具体算符在某些情况下,每个操作符作用、成本是不一样的,需要引入代价的概念(不相邻的)两个节点间路径的代价等于连接该路径的各个节点的所有弧线的代价之和 引入代价的概念后,我们的问题可能是:寻找初始节点到目标节点之间的代价最小的路径对应的原始问题:寻找从初始状态到目标状态的操作符代价之和最小的操作符序列利用图论的技术,我们要解决两个问题:第一、找出初始节点到目标节点的一条路径。对应于寻找初始状态到目标状态的操作符序列第二、找出初始节点到目标节点的一条代价最小的路径。对应于寻找将初始状态变换到目标状态所用操作符代价之和最小的操作符序列。问题归约法:从已知问题的描述出发,通过一系列变换或
3、分解将问题最终变为一个子问题集合,这些子问题的解可以直接得到,从而解决初始问题 。问题归约法由三个部分组成:1.一个初始问题描述 2.一套将问题变换或分解为子问题的操作符 3.一套本原问题(解可以直接得到的简单问题)描述。2、问题归约的描述 问题归约法的基本思路是:应用一系列算符将原始问题的描述变换或分解成为子问题的描述。问题的描述可以采用各种数据结构,如表、树、矢量、数组等。问题归约法可以用一个三元组(S, O, P)来表示,其中: S:原始问题,即要解决的问题 P:本原问题集,其中的每一个问题是不用证明的或自然成立的,例如公理、已知事实等 O:操作算子集,用于将问题化为子问题与或图的特例:
4、 所有节点都是或节点,这时就是一般的图,即状态空间法用到的图 除了起始节点外,所有节点只有一个父节点,此时称为与或树,前面的图2.11就是与或树。 问题归约法、与或图表示之间的对应关系:问题归约法 与或图表示原始问题 起始节点本原问题 终叶节点操作符 与、或关系的弧线中间问题 非终叶节点一般情况下:分解 操作符得到 与节点。 变换 操作符得到 或节点。在与或图中,问题有解的条件是:起始节点是可解的。 在与或图中,一个可解节点的定义是(递归地):1、终叶节点是可解的(因为它们与本原问题相关联的)。一般情况,终叶节点用 t 来表示2、如果某一个非终叶节点含有“或”后继节点,那么,只要有一个后继节点
5、是可解的,这一个非终叶节点就是可解的。3、如果某一个非终叶节点含有“与”后继节点,那么,只要所有后继节点是可解的,这一个非终叶节点才是可解的。与或图中,一个不可解节点的定义(递归地)是:1、没有后裔的非终叶节点是不可解节点。2、如果某一个非终叶节点含有“或”后继节点,那么,只要当所有的后继节点都不可解时,这一个非终叶节点才是不可解的。3、如果某一个非终叶节点含有“与”后继节点,那么,只要有一个后继节点是不可解的,这一个非终叶节点就是不可解的。 与或图的解图:由最少的可解节点所构成的子图,这些节点能够使问题的起始节点是可解的谓词逻辑法逻辑 经典逻辑:命题逻辑、谓词逻辑 非经典逻辑:不确定性推理、
6、非单调性推理命题逻辑核心思想:原子命题不可再分数理逻辑(符号逻辑)是用数学方法研究形式逻辑的一个分支。它通过符号系统来表达客观对象以及相关的逻辑推理。常用的是命题逻辑和谓词逻辑。谓词逻辑是数理逻辑的基本形式,是基于谓词分析的一种形式化(数学)语言。人工智能中的谓词逻辑法是指用一阶谓词来描述问题求解和定理证明(限于本课程)。1、命题逻辑的基本概念命题 是能够判断真或假的陈述句。通常用大写字母来表示,如A, B, P, Q等命题的真假值一般用 T 或 F 来表示 命题逻辑 是研究命题及命题之间关系的符号逻辑系统。在命题逻辑中,表示单一意义的命题,称之为原子命题。原子命题通过 “联结词” 构成 复合
7、命题。联接词的优先顺序:非 、合取 、析取 、蕴含 、等价 。 注:可以用括号表示优先级命题变元:用符号P、Q等表示的不具有固定、具体含义的命题。它可以表示具有“真”、“假”含义的各种命题。 命题变元可以利用联结词构成所谓的合适公式。 对于合适公式,规定下列运算优先级: 逻辑联结词的运算优先次序为: 、 、 、 同级联结词按出现顺序优先运算。 在命题逻辑中,主要研究推理的有效性。即:能否根据一些合适公式(前提)推导出新的合适公式(结论)。 谓词逻辑是命题逻辑的扩充和发展。它将一个原子命题分解成客体和谓词两个组成部分。例如: 雪 (客体) 是黑的 (谓词) 谓词是指个体(客体)所具有的性质或者若
8、干个体之间的关系。用大写字母来表示。 个体是可以具体的(如: 小张、3、5)也可以是抽象的(如: x, y)。论域:由个体组成的集合。(个体)变量:定义在某一个论域上的变量。用x, y, z 来表示。函数(或函词):以个体为变量,以个体为值的函数。一般用小写字母来表示,例如 f(x), f(x,a)。如果谓词有 n 个变量,称之为 n 元谓词,并约定 0 元谓词就是命题(谓词的特例)。如果函数有 n 个个体,称之为 n 元函数,并约定 0 元函数就是常量。常量习惯上用小写字母来表示,如a, b, c。项的定义:常量是项 变量是项 如果 f 是n元函数,且t1 , tn(n1)是项,则 f (t
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 人工智能 期末 复习
限制150内