第2章知识表示方法探析.ppt

人工智能问题的求解是以知识为基础的。如何将已获得的有关知识以计算机内部代码形式加以合理地描述、存储，以使有效地利用这些知识便是知识表示。知识表示方法的提出，常模仿人脑的知识存储结构，心理学家对知识表示方法的研究做出了重要的贡献。这一章将介绍逻辑的、产生式的、语义网络的和框架的知识表示方法。 ;2.1 概述 ;数据是信息的载体和表示 信息是数据在特定场合下的含义，或数据的语义，是对客观事物的一般性描述 知识是对信息进行加工所形成的对客观世界规律性的认识。 ①是经过精简、塑造、解释、选择和转换的信息 ②是由特定领域的描述、关系和过程组成。 ;人们描述客观世界的数据、信息、知识等具有如下的金字塔型层次结构。;什么是知识表示？;常用的知识表示法与推理;2.2 一阶谓词逻辑表示法;2.2 一阶谓词逻辑表示法;2.2 一阶谓词逻辑表示法;2.2 一阶谓词逻辑表示法;设定初始状态是　　　　AT（ROBOT，ALCOVE）　　　EMPTYHANDED　（ROBOT）　　　ON（BOX，A）　　　TABLE（A）　　　TABLE（B） 目标状态是　　　AT（ROBOT，ALCOVE）　　　EMPTYHANDED（ROBOT）　　　ON（BOX，B）　　　TABLE（A）　　　TABLE（B）问题是依机器人可进行的操作，实现一个由初始状态到目标状态的机器人操作过程。　　; 机器人的每个操作的结果所引起的状态变化，可用对原状态的增添表和删除表来表示。如机器人由初始状态把BOX从A桌移到B桌上，然后仍回到壁室，这时同初始状态相比有　　增添表　　ON（BOX，B）　　删除表　　ON（BOX，A）　　又如机器人由初始状态，走近A桌，然后拿起BOX，这时同初始状态相比有　　增添表　　AT（ROBOT，A）　　　　　　　HOLDS（ROBOT，BOX）　　删除表　　AT（ROBOT，ALCOVE）　　　　　　　EMPTYHANDED（ROBOT）　　　　　　　ON（BOX，A） 进一步说，机器人的每一操作还需有先决条件。如机器人拿起A桌上的BOX这一操作，先决条件是　　ON（BOX，A），AT（ROBOT　，A）　　EMPTYHANDED　（ROBOT）　; 而先决条件成立与否的验证可使用???结法。如将初始状态视作已知条件，而将要验证的先决条件视作结论，便可使用归结法了。有如下归结过程：　（1）AT（ROBOT，A）　（2）EMPTYHANDED（ROBOT）　（3）ON（BOX,A）　（4）TABLE （A）　（5）TABLE （B）　（6）～ON(BOX,A)∨～AT(ROBOT,A)∨～EMPTYHANDED(ROBOT)(先决条件的否定)　（7）～AT(ROBOT,A)∨～EMPTYHANDED (ROBOT)(3,6)　（8）～EMPTYHANDED (ROBOT)(1,7)　（9）□ (2,8)　　于是验证了这一先决条件成立。 　　从初始状态出发，每实现机器人的一个操作都验证先决条件，并建立相应的增添表和删除表，便可逐步达到目标状态。这里仅是说明逻辑法可以描述这类问题。1972年FIKS建立的STRIPS机器人规划系统就是使用的逻辑法表示的。;例2、Honil 塔问题表示　　已知三个柱子1,2，3和三个盘子A，B,C(A比B小，B比C小)。初始状态下，A，B，C依次放在1柱上。目标状态是A，B，C依次放在柱子3上。条件是每次可移动一个盘子，盘子上方是空顶方可移动，而任何时候都不允许大盘在小盘之上。 解：这个问题，使用逻辑法可作如下描述。　　（1） 常量　A,B,C,1,2,3而S表状态。 　　（2） 谓词　Disk(A)表A是盘子　　　　　　　　PEE（1）　表1是柱子　　　　　　　　Smaller(A,B) 表A比B小　　　　　　　　Free(x,s) 表状态S下，X空顶　　　　　　　　Legal(x,y,s) 表状态S下，x可向y上移动　　　　　　　　ON（A，B，S）表状态S下A在B上　　（3） 函数　move(A,B,S)表状态S下，A移到B上所得的新状态　　;（4） 谓词和函数间的关系(?x)(? y)(? z)(Smaller(x,y) ∧ Smaller(y,z)→Smaller (x,z))?盘大小关系的传递性(? x)(? s)(Free(x,s)→～( ?y)ON(x,y,s))? 在状态s下，x是空顶必知s下无y在x上。(? x)(? y)(? s)(Legal(x,y,s)←→Free(x,s)∧Free(y,s)∧Disk (x)∧Smaller(x,y))? x可向y 上移动是合法的，当