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
MCQ Answer: d
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
(C). Representational Adequacy
(D). Inferential Efficiency
(E). None of these
MCQ Answer: (B). Higher-Order Logic
Two types of quantifiers are Existential Quantification and Universal Quantification.
(A). True
(B). False
MCQ Answer: a
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
MCQ Answer: d
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
MCQ Answer: (D). Deductive Systems
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
MCQ Answer: a
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
- List of Public service commissions - August 31, 2020
- Comparison of fee structure of Pakistani Universities - June 1, 2020
- Past Guess Paper of Auditing - May 12, 2020