A matching process that swaps variables so two logic expressions agree.
Unification is fill-in-the-blank homework for logic. Put “pizza” in the blank, and both answers line up.
It swaps a variable for a real item. This makes two logic sentences match in automatic reasoning.
Foundation-model
Unification is symbol matching, not a shared model base.
Multimodal AI
Multimodal AI joins data types, but unification swaps variables in logic.
Agent
An Agent can use unification to match rules with current facts.