1.

Which is a refutation complete inference procedure for propositional logic?(a) Clauses(b) Variables(c) Propositional resolution(d) PropositionThis question was addressed to me in an online quiz.This key question is from Resolution in chapter Logical Agents of Artificial Intelligence

Answer»

Correct ANSWER is (c) PROPOSITIONAL resolution

The explanation: Propositional resolution is a refutation COMPLETE inference PROCEDURE for propositional logic.



Discussion

No Comment Found

Related InterviewSolutions