Which are needed to compute the logical inference algorithm?
(a) Logical equivalence
(b) Validity
(c) Satisfiability
(d) All of the mentioned
The question was posed to me in a national level competition.
My question is from Propositional Logic in section 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