目标概念:
Safe-to-stack(x,y) x在y上安全堆放
训练实例(是一些描述物体obj1和obj2的事实):
前提:重量、体积、密度,
Weight(obj1, 0.1) 重量是0.1
Weight(obj2, 5) 重量是5
Volume(obj1,1) 体积是1
Density(obj1, 0.1) 密度是0.1
条件: Lighter(obj1, obj2) obj1比obj2轻
状态: On(obj1,obj2) 在之上
是什么: Is-a(obj1,book) 是书
Is-a(obj2,table) 是桌子
领域知识(是把一个物体安全的放置在另一个物体上面的准则):
Fragile(y)→Safe-to-stack(x, y)
如y是不易碎的,则x可安全放在之y上
Lighter(x, y)→Safe-to-stack(x, y)
如x比y轻,则x可安全放在之y上
以上两条是条件
Volume(p, v)∧Density(p, d)∧Product(v, d, w)→Weight(p, w)
p的体积v与密度d的乘积为重量
Is-a(p, table)→Weight(p, 5)
桌子p的重量是5
Weight(p1, w1)∧Weight(p2, w2)∧Smaller(w1, w2)→Lighter(p1, p2)
如p1的重量与p2的重量比较有p1的比p2的小,则p1比p2轻
这两条是计算,乘法计算、比较计算。
|