i5 4460吃鸡配什么显卡:一阶谓词表示法

来源:百度文库 编辑:中财网 时间:2024/04/29 15:23:55
一阶谓词表示法

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

首先确定谓词,然后用连词连接

例1

自然数都是大于零整数

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

偶数除以2是整数

 

1. 谓词定义

自然数:   大于零:   整数:

偶数:      奇数:        除以2:

 

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.

分类: 人工智能