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

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