Q6Principles of Artificial Intelligence
Question
2 marks
Define Unification in AI.
Answer
Unification is the strict algorithmic process in First-Order Logic that mathematically discovers absolute variable substitutions to make two distinctly different logical expressions perfectly identical.
During logical inference, the AI must match rules. If the Knowledge Base contains Knows(John, x) and a query asks for Knows(John, Mary), the Unification algorithm violently calculates the exact mathematical substitution: . This substitution makes the two expressions mathematically identical, allowing the inference engine to proceed.