Artificial Intelligence MCQ
Which are needed to compute the logical inference algorithm?
A)
Validity
B)
Satisfiability
C)
Logical equivalence
D)
All of the above

Correct Answer : Option (D) :   All of the above

Explanation : Logical inference algorithm can be solved be using logical equivalence, Validity and satisfiability.