March 1, 2022
Tuesday of Week 8
Topics of the day
- Theorem proving
- Math proofs
- Propositional logic
- Predicate logic
- Unification
Suggested readings
- Sections 5.0-5.2, 5.3-5.4 from Lucci and Kopec, Artificial intelligence in the 21st century, 2e
- Sections 7.1-7.5, 9.2 from Russell and Norvig, Artificial intelligence: a modern approach, 3e
Assignments
Today
- Exam 1 out
Upcoming
- Exam 1 due 4pm (04 Mar)
- Project 2: Autocorrect out (15 Mar)
