3 Mar 2004
CS3243 - Inference
20
Example knowledge base contd.
... it is a crime for an American to sell weapons to
hostile nations:
American(x) Ù Weapon(y) Ù Sells(x,y,z) Ù Hostile(z) Þ Criminal(x)
Nono … has some missiles, i.e., $x
Owns(Nono,x) Ù Missile(x):
Owns(Nono,M1) and
Missile(M1)
… all of its missiles were sold to it by Colonel
West
Missile(x) Ù Owns(Nono,x) Þ Sells(West,x,Nono)
Missiles are weapons:
Missile(x) Þ Weapon(x)
An enemy of America counts as "hostile“:
Enemy(x,America) Þ Hostile(x)
West, who is American …
American(West)
The country Nono, an enemy of America …
Enemy(Nono,America)