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
b) Using given statement prove "Mr. A is a criminal" It is crime for a Nepali to sell weapons to enemy of Nepal. Mr. A is an enemy of Nepal. Mr. A has some missiles. Missiles are weapon. Mr. R is a Nepali. If Mr. A has missiles then those missiles were sold to Mr. A are by Mr. R.