1.

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» D. Modus Ponen


Discussion

No Comment Found