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

第三章 谓词逻辑与确定性推理 谓词逻辑指基于数理逻辑的表示、推理方法，一阶谓词逻辑是经典的命题逻辑。由于其表示的多为确定性知识，也多用于确定性推理。 §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 ∈