Which of the following is not the style of inference?
(a) Forward Chaining
(b) Backward Chaining
(c) Resolution Refutation
(d) Modus Ponen
I have been asked this question at a job interview.
My doubt is from Inference in First-Order Logic topic in portion Knowledge and Reasoning of Artificial Intelligence