adplus-dvertising
Artificial Intelligence MCQ
When the resolution is called as refutation-complete?
A)
Sentence is satisfiable
B)
Sentence remains the same
C)
Sentence is unsatisfiable
D)
None of the above

Correct Answer : Option (C) :   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.