Artificial Intelligence MCQs with Answers
Practice important Artificial Intelligence MCQs with answers and explanations.
Multiple Choice Questions
Q531: What should be done after eliminating implications and driving in negations during CNF conversion?
- A: Negate the formula
- B: Apply resolution directly
- C: Distribute AND over OR
- D: Distribute OR over AND
View Answer
D
Q532: In the clause (A ∨ ¬B), what type of formula is it?
- A: Not a CNF clause
- B: A clause in CNF
- C: A literal
- D: Resolution
View Answer
B
Q533: Which one of the following is NOT a valid step in CNF conversion?
- A: Distribute OR over AND
- B: Apply De Morgan’s Law
- C: Eliminate implications
- D: Distribute AND over OR
View Answer
D
Q534: In resolution by refutation, what is the first step?
- A: Apply resolution
- B: Negate the conclusion
- C: Write all sentences in CNF
- D: Derive contradiction
View Answer
C
Q535: In resolution refutation, contradiction implies:
- A: Statement is invalid
- B: Statement cannot be resolved
- C: Statement is provable
- D: Statement is false
View Answer
C
Q536: To prove a conclusion using resolution refutation, the conclusion must first be:
- A: Assumed true
- B: Negated
- C: Written in DNF
- D: Added as a premise
View Answer
B
Q537: Which of the following is TRUE about resolution refutation?
- A: It always finds a proof
- B: It does not need CNF
- C: It works without contradiction
- D: It tries to derive a contradiction
View Answer
D
Q538: In a resolution proof, each clause must be satisfied to prove:
- A: The literal
- B: The variable
- C: The clause
- D: The full statement
View Answer
D
Q539: (A → B) is logically equivalent to:
- A: ¬A ∨ B
- B: B ∧ A
- C: ¬B ∨ A
- D: A ∨ B
View Answer
A
Q540: If we have A ∨ B and ¬B ∨ C, what can be inferred using resolution?
- A: A ∨ C
- B: ¬A ∨ C
- C: A ∨ ¬C
- D: C ∨ B
View Answer
A