Which process makes different logical expression looks identical?
A. Lifting
B. Unification
C. Inference process
D. None of the mentioned
Answer:A
Which process makes different logical expression looks identical?
A. Lifting B. Unification C. Inference process D. None of the mentioned
Explanation:Lifted inference rules require finding substitutions that make different logical expression looks identical. This process is called