人工智能-第二章知识表示方法描述.ppt

知识是一切智能行为的基础，也是人工智能的重要研究对象。要使计算机具有智能，就必须使它具有知识，而要使计算机具有知识，首先解决知识的表示问题。 对于同一问题有多种不同的表示方法，常用的几种知识表示方法包括： 状态空间法 问题归约法 谓词逻辑法 语义网络表示法 框架表示法 本体技术 过程表示法 十五数码难题 2、状态图示法 图由节点（不一定是有限的节点）的集合构成。 有向图：一对节点用弧线连接起来，从一个节点指向另一个节点。 后继节点与父辈节点：如果某条弧线从节点ni指向节点nj，那么节点nj就叫做节点ni的后继节点或后裔，而节点ni叫做节点nj的父辈节点或祖先。 路径：某个节点序列(ni1,ni2,…,nik)当j=2，3，…，k时，如果对于每一个ni，j-1都有一个后继节点nij存在，那么就把这个节点序列叫做从节点ni1至节点nik的长度为k的路径。 第一步：定义问题状态的描述形式： 用Sk=(SkA，SkB)表示问题的状态 SkA表示A所在柱子号 SkB表示B所在柱子号 第二步：用所定义的状态描述形式把问题的所有可能的状态都表示出来，并确定出问题的初始状态集合描述和目标状态集合描述。本问题所有可能的状态共有九种，如图2.1所示。 第三步：定义一组操作符F。定义操作符R(i,j)表示盘子R从i柱移到j柱；允许的操作共有12个。 F ={R(i, j) | R=A, B; i, j=1, 2, 3} 它们分别是: A(1,2)，A(1,3)，A(2,1)，A(2,3)，A(3,1)，A(3,2) B(1,2)，B(1,3)，B(2,1)，B(2,3)，B(3,1)，B(3,2) 至此，该问题的状态空间(S,F,G)构造完成。这就完成了对问题的状态空间表示。 为了求解该问题，根据该状态空间的9种可能状态和12种算符，构造它的状态空间图，如图2.2所示。 ② 操作集 定义：Pmc操作：从左岸划向右岸 Qmc操作：从右岸划向左岸 船上人数组合（m，c）共5种 （1，0）,（1，1）,（2，0）,（0，1）,（0，2） ∵每一种船上的人数组合同时对应P，Q二种操作 ∴系统共有 5×2＝10种操作（规则） 如：P01：if （ML=0，3，CL=1，BL=1） then （ML，CL-1，BL-1） 如果船在左岸，那么一个野人划船到右岸 Q01：if （ ML=0，3，CL=2，BL=0） then （ML，CL+1，BL+1） 如果船在右岸，那么一个野人划船回到左岸 总共有10种操作 F={P10, P20, P11, P01, P02, Q 10, Q 20, Q 11, Q 01, Q 02} 思考题： 采用问题归约法 要把所有圆盘移至柱3，必须先把C盘移至柱3，而在移动C盘至柱3前，柱3必须为空。 只有把A、B移至柱2后，才能将C移到柱3。 在C移至柱3后，再解决将A、B移至柱3。 将上面的分析理一下顺序：就把原问题归约为3个子问题： 移动A、B至柱2的双圆盘问题； （1，1，1） →（1，2，2） 移动C至柱3的单元盘问题；（本原问题） （1，2，2） →（3，2，2） 移动A、B至柱3的双圆盘问题。 （3，2，2） → （3，3，3） 将梵塔问题归约为本原问题的问题空间 状态空间法与问题归约法的比较 状态空间——问题空间 操作——归约 求解路径——本原问题 归约就是化简，即把复杂问题分解为若干子问题，且使得： 每个子问题比原问题好解； 这些子问题解决了，原问题就解决了。 练习：用归约法表示四圆盘梵塔问题，画出求解该问题的与或图。 对前面连接词的定义，可用表中给出的谓词逻辑真值来表示。 ——————————————————————————— P Q ?P P∨Q P∧Q P?Q P ? Q ___________________________________________________ T T F T T T T T F F T F F F F