人工智能 —— 谓词逻辑表示法

逻辑学基础

（1）命题和真值

一个陈述句称为一个断言。凡有真假意义的断言称为命题。命题的意义通常称为真值，它只有真、假两种情况。

（2）论域

也称为个体域，是由讨论的对象的全体构成的非空集合

（3）谓词

实现的是从个体域中的个体到 T 或 F 的映射。分为谓词名和个体两个部分

• 谓词名：表示个体的性质、状态或个体之间的关系，用大写英文字母表示
• 个体：命题中的主语，用小写英文字母表示。可以是常量、变元和函数

（4）函数

实现的是从一个个体到另一个个体的映射，函数没有真值。

在谓词逻辑中，函数本身不能单独使用，它必须嵌入到谓词之中。

举例：王洪的父亲是教师

TEACHER(father(Wang Hong))，其中，TEACHER是谓词，而father是函数

（5）连接词和量词

• 连接词：﹁，∨，∧，→，↔
• 量词：∀，∃

---

谓词逻辑表示法的应用

（1）知识的谓词逻辑表示