Course 6.S095: Automated Reasoning in AI

MIT IAP 2017
Lecturer: Sicun Gao
Location: 34-301
Time: 2pm to 3pm, Jan-13 to Jan-24 (working days), 2017

Join the google group for the course to receive notices.

Automated reasoning is an area of AI that studies algorithmic approaches to logical reasoning, and problem solving in general. It is the oldest branch and also the next frontier of AI, thanks to tremendous progress in recent decades. The course will first cover the basics of propositional and first-order logic, and then focus on core reasoning algorithms and their connections to standard topics in AI, including search, learning, planning, and optimization.


Familiarity with C++. Calculus and linear algebra.


Lecture notes and chapters from "Artificial Intelligence: A Modern Approach" and "Handbook of Satisfiability" will be provided.