logo

您所在位置网站首页 > 海量文档  > 理工科 > 数理学

第三章 谓词逻辑与确定性推理.ppt 61页

本文档一共被下载: ,您可全文免费在线阅读后下载本文档。

  • 支付并下载
  • 收藏该文档
  • 百度一下本文档
  • 修改文档简介
全屏预览

下载提示

1.本站不保证该用户上传的文档完整性,不预览、不比对内容而直接下载产生的反悔问题本站不予受理。
2.该文档所得收入(下载+内容+预览三)归上传者、原创者。
3.登录后可充值,立即自动返金币,充值渠道很便利
第三章 谓词逻辑与确定性推理 谓词逻辑指基于数理逻辑的表示、推理方法,一阶谓词逻辑是经典的命题逻辑。由于其表示的多为确定性知识,也多用于确定性推理。 §3-1 谓词逻辑基本概念 §3-1 谓词逻辑基本概念 §3-1 谓词逻辑基本概念 §3-1 谓词逻辑基本概念 (2)量词:用于对谓词中的个体约束或规定。分为全称量词?和存在量词? 。 ?x:表示论域中所有的 x 。 ?x:表示论域中存在 x 。 命题(?x )P(x)为真:当且仅当对于论域中的所有x ,都有P(x)为真;只要有一个x0 ∈D,使得 P(x)为假,那么(?x )P(x)就为假。 命题 (?x )P(x)为真:只要有一个x0 ∈D,使得 P(x)为真;当且仅当对于论域中的所有x ,都有P(x)为假,那么( ? x )P(x)就为假。 §3-1 谓词逻辑基本概念 定义3 . 项的规则 1)单独一个 个体词是项:t1,t2,t3,…tn 。 2)若 t1,t2,t3,…tn 是项,则函数 f(t1,t2,t3,…tn )也是项。 3)由 1)和 2)生成的表达式也是项。 定义4. 原子谓词公式 若 t1,t2,t3,…tn 是项,P是谓词符号, 则 P(t1,t2,t3,…tn ) 称为原子谓词公式。 定义5. 合式公式 (谓词公式) 1) 原子谓词公式称为合式公式; 2)由~∧∨ → ? 连接的合式公式还是合式公式; 3)由 ? ?约束的合式公式 也称为合式公式。 定义6. 自由变元与约束变元 ? 、?是有辖区的, 受 ? ?约束的变元称为约束变元。 不受它们的约束的变元称为自由变元。 (1) (? x )P(x) , x为约束变元 (2) (? x)(H(x)→ G(x,y)), y为自由变元 (3) (? x)A(x) ∧ B(x) , 只约束 A(x) , 而 B(x)中的 x 仍为自由变元。 谓词逻辑可以表示事物的状态、性质、概念,也可以表示事物之间的因果关系,即规则。 对于事实的知识用~∧∨ 连接的谓词公式表示。 对于事物的因果关系通常用蕴含→式表示。 x → y 表示“如果x , 则y” 使用谓词逻辑进行知识表示时,一般先根据题意定义谓词, 然后在根据表达的需要使用适当的连词和量词把谓词连接起来构成 谓词公式。 例3.1 所有的学生都有某教材。 STUDENT(x) :表示x是学生 HASMATERIAL(x,y):表示x有教材y 题目所表达的知识可以表示为: (? x) (?y ) (STUDENT(x)→ HASMATERIAL(x,y)) 例3.2 所有整数 不是偶数 就是 奇数。 I(x) :表示x是整数 E(x):表示x是偶数 O(x):表示x是奇数 题目所表达的知识可以表示为: (? x) (I(x)→ E(x)∨ O(x)) 如果对逻辑的某些外延扩展后,则可把大部分的知识表达成一阶谓词逻辑的形式。 例如:王是计算机系的学生,李明是王的同班同学,他们系系的学生都喜欢编程。 定义谓词: COMPUTRE(x) :x是计算机系的学生 CLASSMATE(x,y):x是y的同班同学 LIKE (x,y) : x喜欢y 。 题目的 知识表示: COMPUTRE(wang) CLASSMATE(liming,wang) (? x) (COMPUTRE(x)→ LIKE(x,programming) ) §3-2 谓词逻辑的问题表示 例 3.3 机器人要把 a 处桌子上的箱子搬到 b 处的桌子上,再回到 c 处。 谓词: TABLE(x):x是桌子 EMPTY( y ) :y手中是空的 AT ( y,z ):y在z位置附近 HOLD ( y,w ):y拿着 w ON ( w,x ):w在桌子 x上 其中 x ∈{a,b} ,y ∈ {robot} , z ∈

请自觉遵守互联网相关的政策法规,严禁发布色情、暴力、反动的言论。
用户名: 验证码: 点击我更换图片

©2010-2013 max.book118.com在线文档投稿赚钱网. All Rights Reserved 蜀ICP备08101938号