Instructors
Prof. Brian Williams
Dr. Greg Sullivan
Course Meeting Times
Lectures:
Two sessions / week
1.5 hours / session
Course Description
This course surveys a variety of reasoning, optimization, and decisionmaking methodologies for creating highly autonomous systems and decision support aids. The focus is on principles, algorithms, and their applications, taken from the disciplines of artificial intelligence and operations research. Reasoning paradigms include logic and deduction, heuristic and constraintbased search, modelbased reasoning, planning and execution, reasoning under uncertainty, and machine learning. Optimization paradigms include linear, integer and dynamic programming. Decisionmaking paradigms include decision theoretic planning, and Markov decision processes. This course is offered both to undergraduate (16.410) students as a professional area undergraduate subject, in the field of aerospace information technology, and graduate (16.413) students.
16.413 meets with undergraduate subject 16.410, but requires more advanced programming and written assignments, including a Mars Rover project.
Learning Objectives
Upon successful completion of 16.410 or 16.413, students will be able to:

Model decision making problems using major modeling formalisms of artificial intelligence and operations research, including propositional logic, constraints, linear programs and Markov processes.

Evaluate the computational performance of search, satisfaction, optimization and learning algorithms.

Apply search, satisfaction, optimization and learning algorithms to real world problems.
Measurable Outcomes (Assessment Method)
Upon successful completion of 16.410 and 16.413, students will be able to:

Describe at an intuitive level the process of artificial intelligence and operations research: a realtime cycle of problem understanding, formulation, solution and implementation (homework).

Formulate simple reasoning, learning and optimization problems, in terms of the representations and methods presented (homework, quiz).

Manipulate the basic mathematical structures underlying these methods, such as system state, search trees, plan spaces, model theory, propositional logic, constraint systems, Markov decision processes, value functions, policies, linear programs and integer programs (homework, quiz).

Demonstrate the hand execution of basic reasoning and optimization algorithms on simple problems (homework, quiz).

Formulate more complex, but still relatively simple problems, and apply implementations of selected algorithms to solve these problems (homework, lab).

Evaluate analytically the limitations of these algorithms, and assess tradeoffs between these algorithms (homework, quiz).
In addition, upon successful completion of 16.413, students will be able to:

Implement basic algoritms in reasoning, optimization and learning (homework, lab).

Use modelbased methods to autonomously operate spacecraft or rovers, either in simulation or in the laboratory (project).
Concepts
Search and Reasoning: Uninformed and informed search, game tree search, local stochastic search and genetic algorithms, constraint satisfaction, propositional inference, rulebased systems, planning, and modelbased diagnosis.
Optimization: Linear programming, integer programming, Markov decision processes.
Learning: Reinforcement learning.
Pedagogical Methods

Computer projected presentations

Chalktalk

Prepared notes handed out to class

Text

Webbased recitations

Webbased problem sets

Videos and computer demonstrations

Computational lab in scheme

Autonomous Mars rover laboratory
Readings

Russell, and Norvig. AI, A Modern Approach. Noted as AIMA. (On reserve at Barker Engineering Library.)

Hillier, and Lieberman. Introduction to Operations Research. (On reserve at Barker Engineering Library.)

Additional handouts.
Assignments

Weekly, Due on Monday, unless otherwise indicated.

Webbased assignments due by midnight of date assigned.

Paper assignments due by 5pm to course secretary.
Programming
Evaluation: 16.410

Mid Term (30pts), Final (40 pts), Homework/Participation (30 pts)

Grade = Mid Term + Final + Homework/Participation
Evaluation: 16.413

16.413 Mid Term (30pts), Final (40pts), Project (30pts)

Homework and class participation [01]

Grade = (Midterm + Final + Project) * (log homework and class participation)
Prerequisites
6.041 and 16.070
309 16.410 is ULEVEL, 16.413 is HLEVEL
The course textbook is Artificial Intelligence: A Modern Approach, 2nd Edition, by Stuart Russell and Peter Norvig.
A recommended textbook is Introduction to Operations Research, by Frederick S. Hillier and Gerald J. Lieberman.