The law says that it is a crime for an American to sell weapons to hostile...

Transcribed Image Text:

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. a) Represent above knowledge in first Order logic. b) Prove that Colonel West is a criminal using i) ii) Forward chaining Resolution refutation Love (Edunel west) waaye (Mini) [6] 7. Missiles (x) ^ 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. a) Represent above knowledge in first Order logic. b) Prove that Colonel West is a criminal using i) ii) Forward chaining Resolution refutation Love (Edunel west) waaye (Mini) [6] 7. Missiles (x) ^

Answer rating: 100% (QA)

a Representation in firstorder logic Lets represent the given knowledge in firstorder logic Predicat... View the full answer