1.

A _________ is used to demonstrate, on a purely syntactic basis, that one formula is a logical consequence of another formula.(a) Deductive Systems(b) Inductive Systems(c) Reasoning with Knowledge Based Systems(d) Search Based SystemsThe question was posed to me in exam.This intriguing question originated from First-Order Logic topic in chapter Logical Agents of Artificial Intelligence

Answer» CORRECT CHOICE is (a) Deductive Systems

Best explanation: REFER the definition of Deductive based systems.


Discussion

No Comment Found

Related InterviewSolutions