Students who complete this unit will demonstrate that they can:

• Describe and explain the use of classical planning.
• Describe and explain the use of the situation calculus.
• Apply situation and event calculus to problems of action and change.
• Define the concept of a planning system and how it differs from classical search techniques.
• Describe the differences between planning as search, operator-based planning, and propositional planning, providing examples of domains where each is most applicable.
• Explain the distinction between monotonic and non-monotonic inference.
• Create and specify resolution proofs.