InterviewSolution
Saved Bookmarks
| 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. |
|