Explanation: All kinds of inference process can be captured as a single inference rule that can be called as Generalized modus ponens. 2. Which process makes different logical expression looks identical?
A. Lifting
B. Unification
C. Inference process
D. None of the mentioned
Answer:A
Explanation: All kinds of inference process can be captured as a single inference rule that can be called as Generalized modus ponens. 2. 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 unification.	3. Which algorithm takes two sentences and returns a unifier?