019-Example of Knowledge Base

1 .Example of Knowledge Base

2 .Knowledge Base: example According to American Law, selling weapons to a hostile nation is a crime The state of Nono , is an enemy, it has some missiles All missiles were sold to Nono by colonel West, who is an American Proof that colonel West is a criminal

3 .Knowledge Base: . . . Selling weapons to a hostile nation by an American is a crime: American(x ) ^ Weapon (y) ^ Sells (x , y, z ) ^ Hostile (z )  Criminal(x) Nono . . . Has some missiles, i.e. Exists x Owns( Nono , x) ^Missile(x): Owns( Nono , M1 ) ^ Missile(M1) . . . All missiles were sold to Nono by colonel West ForAll x Missile(x) ^ Owns( Nono , x)  Sells(West, x , Nono ) Missiles are weapons: Missile(x)  Weapon(x) Enemy of America is Hostile : Enemy(x , America )  Hostile(x) West, is an American. . . American(West) State Nono , is an enemy of America.. . . Enemy( Nono , America )

4 .Forward Chaining: example

5 .Forward Chaining: example

6 .Forward Chaining: example

7 .Backward Chaining: example

8 .Backward Chaining: example

9 .Backward Chaining: example

10 .Backward Chaining: example

11 .Backward Chaining: example

12 .Backward Chaining: example

13 .Backward Chaining: example

14 .Resolution: example