Examveda
Examveda

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

Answer: Option A


This Question Belongs to Computer Science >> Artificial Intelligence

Join The Discussion

Related Questions on Artificial Intelligence