This question is related to Artificial Intelligence

Construct a knowledge base KB consisting of the following sentences in first order logic: The law says that it is a crime for an American to sell weapons to hostile nations. The country Nono, an enemy of America, has some missiles, and all of its missiles were sold to it by Colonel West, who is American. Prove that the KB entails Criminal(West) using resolution.

Steps to follow:

A. First convert each sentence to CNF.

B. Then apply resolution to make the inference.

"... it is a crime for an American to sell weapons to hostile nations": (9.3) American (2) A Weapon(y) ^ Sells(x, y, z) A Hostile(2) = Criminal (2) "Nono ... has some missiles. The sentence 3x Owns(Nono, x)AMissile(x) is transformed into two definite clauses by Existential Instantiation, introducing a new constant M1: Owns (Nono, M1) (9.4, 9.5) Missile(M1) "All of its missiles were sold to it by Colonel West": (9.6) Missile(r) ^ Owns (Nono, 1) = Sells(West, r, Nono) We will also need to know that missiles are weapons: (9.7) Missile(1) = Weapon (1) and we must know that an enemy of America counts as "hostile": (9.8) Enemy(x, America) = Hostile(1) "West, who is American ...": (9.9) American (West) The country Nono, an enemy of America ...": (9.10) Enemy(Nono, America)