CT 653 · Chapter 4
Artificial Intelligence past question
4.3 Rules of inference, unification, resolution refutation system (RRS), answer extraction from RRS, rule based deduction system
Consider the following axioms: Every American who sells weapons to hostile nations is a criminal. Every enemy of America is a hostile. Nono has some missiles. All missiles of Nono were sold by Gorge. Gorge is an American. Nono is a Country. Nono is the enemy of America. Missiles are weapons. Prove that "Is Gorge a criminal?" using Resolution by Refutation.