Lecture 1 - Symbolic AI: History and Foundations
Teacher: Emiliano Lorini (IRIT)
Lecture video
View the recorded lecture here (this will only be available for approximately 6 weeks after the course)
Slides
Download the slides here
Contents
- Introduction: symbolic AI vs subsymbolic AI
- Chronological view of symbolic AI
- Formal methods for symbolic AI
- Logic-based modeling in AI
- Integration of symbolic and subsymbolic approaches
Prerequisites:
Propositional logic; (little) knowledge of predicate logic
Introductory material about propositional and predicate logic: in English, or in French
Further reading:
Peter Norvig & Stuart Russell “Artificial Intelligence: A Modern Approach”, Prentice Hall, 1995 (3rd edition in 2009). In particular: Part III Knowledge, Reasoning, Planning; Part IV Uncertain Knowledge and Reasoning; Part VI Communicating, Perceiving, and Acting
Hector J. Levesque & Gerhard Lakemeyer “The logic of Knowledge Bases”, MIT Press, 2000. Covers propositional logic (Chapter 1) and predicate logic (Chapter 2), updates (Chapters 5 and 14), non-monotonic logic (Chapters 8 and 9), epistemic logic (Chapter 3)