Saved Bookmarks
| 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» Right option is (c) Unification To explain I would say: None. |
|