Explanation: None. 7. Lifted inference rules require finding substitutions that make different logical expressions looks identical.
A. Existential Instantiation
B. Universal Instantiation
C. Unification
D. Modus Ponen
Answer:A
Explanation: None. 7. Lifted inference rules require finding substitutions that make different logical expressions looks identical.
A. Existential Instantiation B. Universal Instantiation C. Unification D. Modus Ponen
Explanation: None. 8. Which of the following is not the style of inference?