6.825
Techniques in Artificial Intelligence (SMA 5504)
Fall 2002
Topics
- Introduction
- Search: A*, Stochastic Methods
- Propositional Logic: Syntax, Semantics
- Propositional Satisfiability
- First-Order Logic: Intro
- FOL: Knowledge Representation
- FOL: Resolution
- FOL: More Resolution
- Equality; Other Logics
- Planning: Situation Calculus and POP
- Planning: More POP
- Planning: GraphPlan and SATPlan
- Planning Review Session
- Probability
- Bayesian Networks
- Bayesian Networks: General Inference
- Learning: Bayes Nets: Observable
- Learning: Bayes Nets: Hidden
- Decision Theory
- Markov Decision Processes
- Probabilistic Planning
- Reinforcement Learning
- Supervised Learning
- Philosophy
Readings
Sources
- Course catalogue ↗Historical OpenCourseWare
- MIT OCW calendar ↗
- MIT OCW syllabus ↗
- Historical MIT OpenCourseWare offering. Named reading entries and schedule topics are automatically extracted from the linked source pages.