人工智能幻灯片——第二章(老师版).ppt

第二节 知识表示方法;前言;知识一般概念;什么是知识?;知识的要素;知识的要素;知识的要素;知识的分类;知识的分类;按知识的性质 概念、命题、公理、定理、规则和方法 按知识的作用域 常识性知识：通用通识的知识。人们普遍知道的、适应所有领域的知识。 领域性知识：面向某个具体专业领域的知识。例如：专家经验。;每种以知识和符号操作为基础的智能系统，其问题求解方法都需要某种对解答的搜索。 在搜索过程开始之前，必须先用某种方法或某几种方法的混和来表示问题。 问题求解技术主要涉及两个方面： ?? 问题的表示 求解的方法 知识表示方式是学习人工智能的中心内容之一。;知识表示的概念;知识表示的一般方法;状态空间法;状态空间法;状态;算符（operator）：把问题从一种状态变换 为另一种状态的手段. 算符可为走步、过程、规则、数学算子、 运算符号或逻辑符号等。 ;状态空间方法：基于解答空间的问题表示和求解方法，它是以状态和算符为基础来表示和求解问题的。 它包含三种说明的集合,即三元状态（S，F，G） S — 初始状态集合； F — 操作符集合； G —目标状态集合。;对一个问题的状态描述，必须确定3件事： (1) 该状态描述方式，特别是初始状态描述； (2) 操作符集合及其对状态描述的作用； (3) 目标状态描述的特性;状态空间表示;三数码难题;三数码难题;八数码难题;表示;从初始棋局开始，试探由每一合法走步得到的各种新棋局，然后计算再走一步而得到的下一组棋局。这样继续下去，直至达到目标棋局为止。 把初始状态可达到的各状态所组成的空间设想为一幅由各种状态对应的节点组成的图。这种图称为状态图。图中每个节点标有它所代表的棋局。首先把适用的算符用于初始状态，以产生新的状态；然后，再把另一些适用算符用于这些新的状态；这样继续下去，直至产生目标状态为止。;十五数码难题(思考);状态空间的图示形式称为状态空间图。 有向图(directed graph) ??图:由节点（不一定是有限的节点）的集合构成。 有向图:是指图中的一对节点用弧线连接起来，从一个 节点???向另一个节点。 路径 某个节点序列（ni1,ni2,,…,nik）当j=2,3,…k时，如果 对于每一个nij-1都有一个后继节点nij存在，那么就把这 个节点序列叫做从节点，ni1至至节点nik的长度为k的路 径。 ;寻找从一种状态变换为另一种状态的某个算符序列问题就等价于寻求图的某一路径的问题. 代价: 加在各弧线的指定数值，以表示加在相应算符上的代价。 两个节点间路径的代价等于连接该路径上各节点的所有弧线的代价之和. 图的显示说明:指各节点及其具有代价的弧线可以由一张表明确给出,(可以列出每一个节点,其后继节点以及连接弧线上的代价) 图的隐示说明 指各节点及其具有代价的弧线不可以由一张表明确给出. (起始节点后继节点算符已知,把后继算符应用于各节点，以扩展节点） ;状态空间表示举例; ;用一个四元表列（W，x，Y，z）来表示问题状态. 其中：W-猴子的水平位置；x－当猴子在箱子顶上时取x=1；否则取x=0；Y－箱子的水平位置；z-当猴子摘到香蕉时取z=1；否则取z=0。;操作（算符）：;该初始状态变换为目标状态的操作序列为： {goto(b),pushbox(c),climbbox, grasp} ;U=b=c;状态空间表示举例;产生式系统;推销员旅行问题;推销员旅行问题;推销员旅行问题;作业;问题归约法;问题归约法的组成部分;问题规约法图解;梵塔难题;梵塔难题;分析;分析;具体解题过程;与或图;与或图表示;与或图表示;与或图的一些术语;举例;*;*;谓词逻辑法－知识补充-命题逻辑;命题逻辑;命题逻辑;命题逻辑;命题逻辑;命题逻辑;命题逻辑;命题逻辑;命题逻辑;命题逻辑;命题逻辑;命题逻辑;在自然语言中，”如果...“与”“那末...”之间常常是有因果联系的否则就没有意义， 但对命题P-Q来说，只要P,Q能够分别确定真值，P-Q即成为命题。此外，自然语言中对“如果...，则...”这样的语句，当前提为假时，结论不管真假，整个 语句的真假无法判断。而在条件命题中，规定为“善意的推定”，即前提为F时，条件命题的真值都取为T.;在自然语言中，”如果...“与”“那末...”之间常常是有因果联系的否则就没有意义， 但对命题P-Q来说，只要P,Q能够分别确定真值，P-Q即成为命题。此外，自然语言中对“如果...，则...”这样的语句，当前提为假时，结论不管真假，整个 语句的真假无法判断。而在条件命题中，规定为“善意的推定”