人工智能——一阶谓词表示法

谓词逻辑适合于表示事务的状态、属性、概念等事实性的知识，事务间确定的因果关系。

首先确定谓词，然后用连词连接。

自然数都是大于零的整数

所有整数不是偶数就是奇数

偶数除以2是整数

1. 谓词定义

自然数：   大于零：   整数：

偶数：      奇数：        除以2：

2. 连词连接表示

设在房间c处有一机器人，在a及b处各有一张桌子，a桌上有一个盒子，为了让机器人把盒子从a处拿到b处的桌子上，然后再回到c处，需要制定相应的行动规则，用一阶谓词逻辑来描述机器人的行动过程。

1. 谓词定义

TABLE(x)：x是桌子

EMPTY(y)：y手中是空的

AT(y, z)：y在z附近

HOLDS(y, w)：y拿着w

ON(w, x)：w在x的上面

2. 域

x的个体域是{a, b}

y的个体域是{robot}

z的个体域是{a, b, c}

w的个体域是{box}

3. 状态

初试状态             目标状态

AT(robot, c)       AT(robot, c)

EMPTY(robot)     EMPTY(robot)

ON(box, a)         ON(box, b)

TABLE(a)           TABLE(a)

TABLE(b)           TABLE(b)

4. 操作

GOTO(x, y)：从x处走到y处

PICK-UP(x)：在x处拿起盒子

SET-DOWN(x)：在x处放下盒子

5. 行动规则

图1 行动规则

表1一阶谓词逻辑表示法的特点

参考文献：

[1] 王永庆. 人工智能原理与方法. 西安: 西安交通大学出版社

[2] 尹朝庆. 人工智能方法与应用. 武汉: 华中科技大学出版社, 2007.