1.

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 mentionedThe question was asked in an online quiz.The doubt is from Resolution in portion Logical Agents of Artificial Intelligence

Answer»

Correct answer is (B) Sentence is unsatisfiable

For explanation I would SAY: RESOLUTION is refutation-complete, if a set of sentence is unsatisfiable, then resolution will ALWAYS be ABLE to derive a contradiction.



Discussion

No Comment Found

Related InterviewSolutions