RTUComputer ScienceYr 2024 · Sem 62024

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.

Back to Paper