第2章-知识表示(2)-2012AI-人工智能教学.ppt

第二章知识表示;谓词逻辑法;谓词逻辑法;连词：∧（与）、∨（或）、→（蕴涵）、~（或┐）（非）、-（等价）。

合取：用连词∧把几个公式连接起来而构成的公式叫做合取，而此合取式的每个组成部分叫合取项。

例如“我喜爱音乐和绘画”可写成：

LIKE（I，MUSIC）∧LIKE（I，PAINTING）

又如“李住在一幢黄色的房子里”

LIVES（LI，HOUSE-1）∧COLOR（HOUSE-1,YELLOW）;连词（续2）

否定：前面具有符号~的公式叫做否定。

例如，子句“机器人不在2号房间内”可表示为：

~INROOM（ROBOT，r2）

等价：P-Q为真当