Artificial Intelligence MCQs with Answers
Practice important Artificial Intelligence MCQs with answers and explanations.
Multiple Choice Questions
Q521: The statement "All men are mortal. Socrates is a man. So Socrates is mortal" uses __________ reasoning.
- A: Abductive
- B: Analogical
- C: Inductive
- D: Deductive
View Answer
D
Q522: When rules are applied to known statements to derive new ones, it is called a __________.
- A: proof
- B: engine
- C: reasoning
- D: system
View Answer
A
Q523: What is the required form for resolution to be applied in propositional logic?
- A: Disjunctive normal form
- B: Conjunctive normal form
- C: Negation normal form
- D: Canonical form
View Answer
B
Q524: A statement in conjunctive normal form (CNF) consists of:
- A: ORs of ANDs
- B: ANDs of ORs
- C: ORs of literals
- D: ANDs of variables
View Answer
B
Q525: Which of the following is a literal in CNF?
- A: A ∧ B
- B: ¬A ∨ B
- C: A or ¬A
- D: A ∧ ¬B
View Answer
C
Q526: In CNF, what is the term used for disjunctions of literals?
- A: Literal
- B: Clause
- C: Statement
- D: Proof
View Answer
B
Q527: The outermost structure in CNF is composed of:
- A: Disjunctions
- B: Negations
- C: Conjunctions
- D: Implications
View Answer
C
Q528: A literal is defined as:
- A: A single variable only
- B: A variable or its negation
- C: A clause with multiple variables
- D: Only a negated variable
View Answer
B
Q529: The rule to eliminate implications is used in which step of CNF conversion?
- A: First step
- B: Second step
- C: Final step
- D: Not required
View Answer
A
Q530: What law is applied to drive in negations during CNF conversion?
- A: Associative Law
- B: Distributive Law
- C: De Morgan’s Law
- D: Modus Ponens
View Answer
C