A _________ is used to demonstrate, on a purely syntactic basis, that one formula is a logical consequence of another formula.

Artificial Intelligence - Quiz(MCQ)

Inductive Systems

Search Based Systems

Deductive Systems

Reasoning with Knowledge Based Systems

Correct Answer : Deductive Systems

Recently Updated in Artificial Intelligence Questions

Which of the following are used for modeling times series and sequences?

Decision graphs

Dynamic Bayesian networks

Parameter tuning

Value of information

Correct Answer : Dynamic Bayesian networks

Explanation : Dynamic Bayesian networks (DBNs) are used for modeling times series and sequences.

The generalized form of Bayesian network that represents and solve decision problems under uncertain knowledge is known as an?

Influence diagram

Directed Acyclic Graph

Table of conditional probabilities

None of the above

Correct Answer : Influence diagram

Explanation : The generalized form of Bayesian network that represents and solve decision problems under uncertain knowledge is known as an Influence diagram

How can you evaluate 1.25 + sqrt (144) in LISP?

1.25+sqrt (1.44)

(1.25+sqrt (1.44))

(+1.25 sqrt (1.44)

All of the above

Correct Answer : (+1.25 sqrt (1.44)

New Technologies MCQ's

Machine Learning

Artificial Intelligence