例题1积木世界的形式描述
如图4.4.1所示三块积木A、B、C放在桌子上, 相对位置可如下描述:
图4.4.1
| ON(C, A) | 表示C在A上。 |
| ONTABLE (A) | 表示A在桌子上。 |
| ONTABLE (B) | 表示B在桌子上。 |
| CLEAR (C) | 表示C上无积木块。 |
| CLEAR (B) | 表示B上无积木块。 |
x)
(CLEAR(x)→
(
y)
ON(y, x))表示, 对任一x, 如果x上无积木, 那么没有y在x上。这表明了谓词CLEAR, ON的关系。
例题2
一段话的形式描述
"张三在计算机系工作，李四是计算机系的领导人员。如果y在计算机系工作，而z是计算机系的领导，那么z是y的上级"这段话的形式描述。
有 WORKS-IN (计算机系, 张三)
MANAGER (计算机系, 李四)
WORKS-IN (计算机系, y) ∧ MANAGER (计算机系, z)→BOSS-OF (y, z)。
例题3
"函数f(x)在[a, b]上的点x0处连续"的形式描述
应为(
ε)(ε>0→(δ)(δ>0∧(x)
(|x －x0| <δ→|f(x) －f(x0) | < ε)))