展开查看详情
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
