4.2 一阶谓词逻辑.pdf

知识表示与推理 北京联合大学机器人学院 《人工智能概论》课程团队 一阶谓词逻辑 讲解：彭涛 逻辑表示 这是一种最早使用的知识表示方法，运用 命题演算、谓词演算的概念来描述知识。 一阶谓词逻辑表示法是一种基于数理逻辑 的表示方法。 数理逻辑是一门研究推理的学科。可分为： 一阶经典命题逻辑、一阶经典 一阶经典逻辑 谓词逻辑 指除经典逻辑以外的那些逻辑，例 非一阶经典逻辑 如：二阶逻辑、多值逻辑、模糊逻 辑等。 命题 断言 一个陈述句称为一个断言。 命题 具有真假意义的断言称为命题。 命题的真值： T ：表示命题的意义为真 F ：表示命题的意义为假 一个命题不能同时既为真又为假。 一个命题可在一定条件下为真，而在另一条件下为假。 命题的分类 简单命题 最简单的、不能再分的原子命题。 复合命题 由多个简单命题，通过联结词 ，连接起来组 成的命题。 联结词 ∧ 合取（与，并且） ∨ 析取（或） ¬ 否定（非） → 蕴含（生成） ≡ 等价 真值表 P Q ¬P P ∧Q P ∨Q P →Q T T F T T T T F F F T F F T T F T T F F T F F T 谓词演算 用谓词表达命题，带有参数的命题， 包括实体和谓词两个部分。 谓词 WH:是白的 谓词公式的一般形式是： 实体 s(白雪) ， P(x , x , …, x ) 1 2 n c(煤炭) P 是谓词符号 （简称谓 词 ） WH(s) = T ， WH(c) = F xi (i=1,2,…n) 是参数项 量词 全称量词 以符号 （∀x ）P(x) 表示对于某个论域中的所有 （任意一个）个体x ，都有P(x) 的值为T 。 存在量词 以符号（∃x ）P(x)表示某个论域中的至少存在 一个个体x ，使P(x) 的值为T。 一阶谓词演算 若限定不允许在谓词、连词、量词和函数 名位置上出现使用变