知识的表示方法
逻辑表示
- 特点:
- 表达能力强
- 如:济南是个城市, City(x)
把城市这个概念分割出来。把“城市” 与“济南”两个概念连接在一起,而且说明“济南”是“城市”的子概念。
- 如:济南是个城市, City(x)
- 谓词可以表示变化的情况
- 如:City(济南),真。 City(苹果),假
- 在不同的知识之间建立联系
- 如: (所有x)( Human(x) → Lawed(x)), 人人都受法律管制,x是同一个人。
- 表达能力强
- 表示实例
例:一个房间里,有一机器人Robot,一个积木块Box,两个桌子A和B,怎样用逻辑法描述从初始状态到目标状态的机器人操作过程?- 先引入谓词:
Table(A) 表示A是桌子
EmptyHanded(Robot) 机器人Robot双手空空
At(Robot,A) 表示机器人Robot在A旁
Holds(Robot,Box) 机器人Robot拿着Box
On(Box,A) 积木块Box在A上 - 设定初始状态:
EmptyHanded(Robot) On(Box,A)
Table(A) Table(B) - 目标状态是:
EmptyHanded(Robot) On(Box,B)
Table(A) Table(B)
- 先引入谓词:
- 存在问题
谓词表示越细,推力越慢,效率越低,但表示清楚。实际中是要折中的