Which is a refutation complete inference procedure for propositional logic?
(a) Clauses
(b) Variables
(c) Propositional resolution
(d) Proposition
This question was addressed to me in an online quiz.
This key question is from Resolution in chapter Logical Agents of Artificial Intelligence
Select the correct answer from above options
Interview Questions and Answers, Database Interview Questions and Answers for Freshers and Experience