Artificial Intelligence
CT 653
Question
2081 BaishakhChapter 4: Knowledge representation, inference and reasoning4.3 Rules of inference, unification, resolution refutation system (RRS), answer extraction from RRS, rule based deduction system
Define skolemization with example. Consider the following axioms: a) Anyone passing his Engineering exams and winning the lottery is happy. b) Anyone who studies or is lucky can pass all his exams. c) Sneha did not study but she is lucky. d) Anyone who is lucky wins the lottery. By using resolution refutation, prove that Sneha is happy?
Add an answerChecking contribution access...