MCQs of Using Predicate Logic (Artificial Intelligence - 2180703)

Artificial Intelligence (2180703) MCQs

MCQs of Using Predicate Logic

Showing 1 to 10 out of 34 Questions

There exist only two types of quantifiers, Universal Quantification and Existential Quantification.

(a)	TRUE
(b)	FALSE

"Translate the following statement into FOL. “For every a, if a is a philosopher, then a is a scholar”"

(a)	∀ a philosopher(a) scholar(a)
(b)	∃ a philosopher(a) scholar(a)
(c)	All of the mentioned
(d)	None of the mentioned

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 statement comprising the limitations of FOL is/are ____________

(a)	Expressiveness
(b)	Formalizing Natural Languages
(c)	Many-sorted Logic
(d)	All of the mentioned

A Term is either an individual constant (a 0-ary function), or a variable, or an n-ary function applied to n terms: F(t1 t2 ..tn).

(a)	TRUE
(b)	FALSE

First Order Logic is also known as ___________

(a)	First Order Predicate Calculus
(b)	Quantification Theory
(c)	Lower Order Calculus
(d)	All of the mentioned

The adjective “first-order” distinguishes first-order logic from ___________ in which there are predicates having predicates or functions as arguments, or in which one or both of predicate quantifiers or function quantifiers are permitted.

(a)	Representational Verification
(b)	Representational Adequacy
(c)	Higher Order Logic
(d)	Inferential Efficiency

Which is created by using single propositional symbol?

(a)	Complex sentences
(b)	Atomic sentences
(c)	Composition sentences
(d)	None of the mentioned

Which is used to construct the complex sentences?

(a)	Symbols
(b)	Connectives
(c)	Logical connectives
(d)	All of the mentioned

10.

How many proposition symbols are there in artificial intelligence?

(a)	1
(b)	2
(c)	3
(d)	4

Showing 1 to 10 out of 34 Questions