in Artificial Intelligence by (9.0k points)
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 Systems

The question was posed to me in exam.

This intriguing question originated from First-Order Logic topic 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

1 Answer

0 votes
by (9.0k points)
Correct choice is (a) Deductive Systems

Best explanation: Refer the definition of Deductive based systems.

Related questions

+1 vote
asked Nov 1, 2021 in Artificial Intelligence by DavidAnderson (9.0k points)