AI MCQ #416: Which process makes different logical expression looks identical?

Q416. Which process makes different logical expression looks identical?

  • a) Lifting
  • b) Unification
  • c) Inference process
  • d) None of the mentioned

✅ Correct Answer: B) Unification

Explanation: Lifted inference rules require finding substitutions that make different logical expression looks identical. This process is called unification.