AI MCQ #329: When the resolution is called as refutation-complete?

by

Q329. When the resolution is called as refutation-complete?

  • a) Sentence is satisfiable
  • b) Sentence is unsatisfiable
  • c) Sentence remains the same
  • d) None of the mentioned

✅ Correct Answer: B) Sentence is unsatisfiable

Explanation: Resolution is refutation-complete, if a set of sentence is unsatisfiable, then resolution will always be able to derive a contradiction. Forward Chaining This set of Artificial Intelligence Multiple Choice Questions & Answers (MCQs) focuses on “Forward Chaining”.