Explanation: Propositional factoring reduces two literals to one if they are identical. 10. 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
Answer:A
Explanation: Propositional factoring reduces two literals to one if they are identical. 10. 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
Explanation: Resolution is refutation-complete, if a set of sentence is unsatisfiable, then resolution will always be able to derive a contradiction. Sanfoundry Global Education & Learning Series – Artificial Intelligence. To practice all areas of Artificial Intelligence, here is complete set of 1000+ Multiple Choice Questions and Answers on Artificial Intelligence.