CS461 AI CH09 Lecture: 9.1: Propositional vs First-Order Logic

We're starting chapter 9 with section 9.1. The section highlights the fact we can re-use propositional logic inference algorithms from CH07 if we (at least temporarily) convert our first-order logic knowledge base back into a propositional logic knowledge base by eliminating quantifiers.

The way to do this is by using the Universal Instantiation rule and/or the Existential Instantiation rule to eliminate variables and replace quantified sentences.

// You can now purchase all slides used for the course in one package at a substantial discount:

You can now purchase the slides in this video here: