Which process makes different logical expression looks identical?
(a) Lifting
(b) Unification
(c) Inference process
(d) None of the mentioned
I had been asked this question in unit test.
This intriguing question originated from Unification and Lifting in chapter Knowledge and Reasoning of Artificial Intelligence