In this lecture, we will review symbolic logic. Some of these topics may be familiar from previous classes.
Lectures
- Knowledge representation and reasoning
- Propositional logic: Syntax
- Propositional logic: Semantics
- Validity, satisfiability & entailment
- SAT and related problems
- Inference rules
- Normal forms
- First order logic
Readings and References
There are many books that introduce logic. Here are a few:
-
Russell, Stuart J., and Peter Norvig. Artificial intelligence: a modern approach. Link to the website for the latest edition
-
Brachman, Ronald J., and Hector Levesque. Knowledge Representation and Reasoning.