Unification in Artificial Intelligence (AI)
Unification in (AI) sits in symbolic / logic AI. Write what is true, then infer. Keep one tiny sentence on the board (P→Q, or Student(Asha)). Say whether you need probabilities or crisp true/false.
Output — idea / do / check for Unification in Artificial Intelligence (AI). Fill those three in the viva.
Trap for Unification in (AI): writing English paragraphs and calling them a knowledge base. A KB is sentences a machine can query.
One formal sentence + what you can infer.