2.2.3谓词逻辑表示的应用 猴子摘香蕉问题(2/3) ⑩描述操作的谓词 Goto(u,v):猴子从u处走到处 Pushbox(v,w):猴子推着箱子从v处移到w处 Climbbox:猴子爬上箱子 Grasp:猴子摘取香蕉 各操作的条件和动作 Goto(u, v) 条件: ONBOX,AT( monkey,u, 动作:删除表:AT( monkey, u ⑩⑩⑩⑩ 添加表:AT( monkey,v Pushbox(v, w) 条件:- ONBOX, AT(monkey,),AT(boxV 动作:删除表:AT( monkey,v),AT(boxv) 添加表:AT( monkey,w),AT(boxy
26 2.2.3 谓词逻辑表示的应用 猴子摘香蕉问题(2/3) 描述操作的谓词 Goto(u, v)：猴子从u处走到v处 Pushbox(v, w)：猴子推着箱子从v处移到w处 Climbbox：猴子爬上箱子 Grasp：猴子摘取香蕉 各操作的条件和动作 Goto(u, v) 条件：¬ONBOX ，AT(monkey, u)， 动作：删除表：AT(monkey, u) 添加表：AT(monkey, v) Pushbox(v, w) 条件： ¬ONBOX ，AT(monkey, v)，AT(box, v) 动作：删除表：AT(monkey, v)，AT(box, v) 添加表：AT(monkey, w)，AT(box,w)
2.2.3谓词逻辑表示的应用 猴子摘香蕉问题(③3/3) Climbbox ⑩⑩ 条件:= ONBOX,AT( monkey,w),AT(box,W) 动作:删除表: ONBOX 添加表: ONBOX Grasp 条件: ONBOX,AT(box,c) ⑩⑩ 动作:删除表:=HB 添加表:HB
27 2.2.3 谓词逻辑表示的应用 猴子摘香蕉问题(3/3) Climbbox 条件： ¬ONBOX ，AT(monkey, w)，AT(box,w) 动作：删除表： ¬ONBOX 添加表：ONBOX Grasp 条件：ONBOX，AT(box, c) 动作：删除表： ¬HB 添加表：HB
224谓词逻辑表示的特征 ①主要优点 自然:一阶谓词逻辑是一种接近于自然语言的形式语言系统,谓词逻辑表示法接近于人们对问 题的直观理解 明确:有一种标准的知识解释方法,因此用这种方法表示的知识明确、易于理解 精确:谓词逻辑的真值只有“真”与“假”,其表示、推理都是精确的 灵活:知识和处理知识的程序是分开的,无须考虑处理知识的细节 模块化:知识之间相对独立,这种模块性使得添加、删除、修改知识比较容易进行 ①主要缺点 ⑩知识表示能力差:只能表示确定性知识,而不能表示非确定性知识、过程性知识和启发式知识 ⑩知识库管理困难:缺乏知识的组织原则,知识库管理比较困难 ⑩存在组合爆炸:由于难以表示启发式知识,因此只能盲目地使用推理规则,这样当系统知识量 较大时,容易发生组合爆炸 ⑩系统效率低:它把推理演算与知识含义截然分开,抛弃了表达内容中所含有的语义信息,往往使 推理过程冗长,降低了系统效率
28 主要优点 自然：一阶谓词逻辑是一种接近于自然语言的形式语言系统，谓词逻辑表示法接近于人们对问 题的直观理解 明确：有一种标准的知识解释方法，因此用这种方法表示的知识明确、易于理解 精确：谓词逻辑的真值只有“真”与“假”，其表示、推理都是精确的 灵活：知识和处理知识的程序是分开的，无须考虑处理知识的细节 模块化：知识之间相对独立，这种模块性使得添加、删除、修改知识比较容易进行 主要缺点 知识表示能力差：只能表示确定性知识，而不能表示非确定性知识、过程性知识和启发式知识 知识库管理困难：缺乏知识的组织原则，知识库管理比较困难 存在组合爆炸：由于难以表示启发式知识，因此只能盲目地使用推理规则，这样当系统知识量 较大时，容易发生组合爆炸 系统效率低：它把推理演算与知识含义截然分开，抛弃了表达内容中所含有的语义信息，往往使 推理过程冗长，降低了系统效率
第2章知识表示 ⑩2.1知识表示与知识表示的概念 ⑩2.2一阶谓词逻辑表示法 ⑩2.3产生式表示法 ⑩2.4语义网络表示法 02.5框架表示法 02.6过程表示法
29 2.1 知识表示与知识表示的概念 2.2 一阶谓词逻辑表示法 2.3 产生式表示法 2.4 语义网络表示法 2.5 框架表示法 2.6 过程表示法
2.3产生式表示法 ⑩产生式( Production)是目前人工智能中使用最多的一种知识表示方法 2.3.1产生式表示的基本方法 事实的表示 规则的表示 产生式与蕴含式的区别 产生式与条件语句的区别 02.3.2产生式系统的基本结构 023.3产生式系统的基本过程 ⑩2.34产生式系统的控制策略 23.5产生式系统的类型 02.3.6产生式系统的特性
30 产生式（Production）是目前人工智能中使用最多的一种知识表示方法 2.3.1 产生式表示的基本方法 事实的表示 规则的表示 产生式与蕴含式的区别 产生式与条件语句的区别 2.3.2 产生式系统的基本结构 2.3.3 产生式系统的基本过程 2.3.4 产生式系统的控制策略 2.3.5 产生式系统的类型 2.3.6 产生式系统的特性