Artificial Intelligence
CT 653
Question
2080 BaishakhChapter 4: Knowledge representation, inference and reasoning4.3 Rules of inference, unification, resolution refutation system (RRS), answer extraction from RRS, rule based deduction system
Assume the following facts: a) Sita likes all kinds of food. b) Momo and Burger are food. c) Anything anyone eats and isn't killed by is food. d) Bill eats mushroom and is still alive. e) Sue eats everything Bill eats. Prove that "Sita likes mushroom" using resolution refutation method.
Add an answerChecking contribution access...