1
First-order logic is an extension of:
Correct Answer
Propositional logic
☑ MCQ PRACTICE
Artificial Intelligence Unit 3
Practice objective questions for quick revision and examination preparation. Try answering each question before revealing the answer.
First-Order Logic
2
In first-order logic, a predicate can have:
Correct Answer
One or more arguments
3
The syntax of first-order logic includes:
Correct Answer
Constants, variables, and predicates
4
The universal quantifier in first-order logic is represented by:
Correct Answer
∀
5
The existential quantifier in first-order logic is represented by:
Correct Answer
∃
6
Which of the following is true about first-order logic?
Correct Answer
It can represent quantifiers over objects
7
Knowledge engineering in first-order logic involves:
Correct Answer
Representing knowledge using first-order logic
8
In first-order logic, a term can be:
Correct Answer
A constant, variable, or function
9
The semantics of first-order logic defines:
Correct Answer
The meaning of sentences
10
Which of the following is NOT a component of first-order logic?
Correct Answer
Heuristics
11
Propositional inference is:
Correct Answer
Less expressive than first-order inference
12
Unification in first-order logic is the process of:
Correct Answer
Making two logical expressions identical by substitution
13
Lifting in first-order inference refers to:
Correct Answer
Generalizing propositional inference rules to first-order logic
14
Forward chaining is:
Correct Answer
A data-driven inference method
15
Backward chaining is:
Correct Answer
A goal-driven inference method
16
Resolution in first-order logic is used for:
Correct Answer
Theorem proving
17
Which of the following is true about resolution?
Correct Answer
It is a complete inference procedure
18
In resolution, two clauses are resolved if they contain:
Correct Answer
Complementary literals
19
Which of the following is NOT a step in resolution?
Correct Answer
Forward chaining
20
The process of finding a substitution that makes two expressions identical is called:
Correct Answer
Unification
Fill in the Blanks
21
First-order logic is an extension of __________ logic.
Correct Answerpropositional
22
In first-order logic, a __________ represents a relationship between objects.
Correct Answerpredicate
23
The universal quantifier is represented by the symbol __________.
Correct Answer∀
24
The existential quantifier is represented by the symbol __________.
Correct Answer∃
25
A __________ in first-order logic can be a constant, variable, or function.
Correct Answerterm
26
The __________ of first-order logic defines the meaning of sentences.
Correct Answersemantics
27
Knowledge engineering in first-order logic involves representing __________ using logical expressions.
Correct Answerknowledge
28
In first-order logic, a __________ is a declarative statement that can be true or false.
Correct Answersentence
29
The process of assigning meaning to symbols in first-order logic is called __________.
Correct Answerinterpretation
30
First-order logic allows quantification over __________.
Correct Answerobjects
31
Propositional inference is __________ expressive than first-order inference.
Correct Answerless
32
Unification is the process of making two logical expressions __________ by substitution.
Correct Answeridentical
33
Lifting generalizes __________ inference rules to first-order logic.
Correct Answerpropositional
34
Forward chaining is a __________ inference method.
Correct Answerdata-driven
35
Backward chaining is a __________ inference method.
Correct Answergoal-driven
36
Resolution is used for __________ in first-order logic.
Correct Answertheorem proving
37
Two clauses in resolution must contain __________ literals.
Correct Answercomplementary
38
The process of finding a substitution that makes two expressions identical is called __________.
Correct Answerunification
39
Resolution is a __________ inference procedure.
Correct Answercomplete
40
In backward chaining, the system starts with the __________ and works backward to the facts.
Correct Answergoal