# First Order Logic FOL MCQs | Artificial Intelligence

By: Prof. Fazal Rehman Shamil

Solved MCQs on First-Order Logic in Artificial Intelligence(Questions Answers).

First-Order Logic is also commonly known as?

(A). First Order Predicate Calculus

(B). Quantification Theory

(C). Lower Order Calculus

(D). All of these

(E). None of these

The adjective first-order differentiates first-order logic from which of the following in which there are predicates having functions or predicates as arguments, or in which one or both of predicate quantifiers or function quantifiers are allowed.

(A). Representational Verification

(B). Higher-Order Logic

(D). Inferential Efficiency

(E). None of these

Two types of quantifiers are Existential Quantification and Universal Quantification.

(A). True

(B). False

Which of the following is the statement comprising the limitations of FOL?

(A). Expressiveness

(B). Formalizing Natural Languages

(C). Many-sorted Logic

(D). A, B, and C

(E). None of these

Which of the following system is helpful to demonstrate, on a purely syntactic basis, that one formula is a logical consequence of another formula.

(A). Search-Based Systems

(B). Inductive Systems

(C). Reasoning with Knowledge-Based Systems

(D). Deductive Systems

(E). None of these

A common convention is given below;

• is evaluated first
• and are evaluated next
• Quantifiers are evaluated next
• is evaluated last.

(A). True

(B). False

(C). Partially true

Translate the given statement into First-order logic.

“For every a, if a is a poet, then a is a writer”

(A). ∃ a poet ((A). writer ((A).

(B). ∀ a poet ((A). writer ((A).

(C). All of these

(D). None of these

MCQ Answer: (B). ∀ a poet ((A). writer ((A).

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

(C). Partially true

More MCQs on the sidebar of Website
Agent Architecture MCQs, Alpha Beta Pruning MCQs, Backward Chaining, Forward Chaining MCQs, Bayesian Networks MCQs, Communication, Hidden Markov Model, Image Perception MCQs,
Uninformed Search Strategy, Inductive logic programming, Informed Search Strategy, Learning,
Object Recognition, Online Search Agent, Uncertain Knowledge and Reasoning MCQs on Artificial Intelligence.

MCQs collection of solved and repeated MCQs with answers for the preparation of competitive exams, admission test and job of PPSC, FPSC, UPSC, AP, APPSC, APSC, BPSC, PSC, GOA, GPSC, HPSC, HP, JKPSC, JPSC, KPSC, KERALAPSC, MPPSC, MPSC, MPSCMANIPUR, MPSC, NPSC, OPSC, RPSC, SPSCSKM, TNPSC, TSPSC, TPSC, UPPSC, UKPSC, SPSC, KPPSC, BPSC, AJKPSC ALPSC, NPSC, LPSC, SCPSC, DPSC, DCPSC, PSC, UPSC, WVPSC, PSCW, and WPSC.