CS222 Syllabus: 3/5 - 3/14
Nonmonotonic Knowledge (3/5-7)
- Conclusions defeasible by additional knowledge
- Support for “common sense reasoning”
- Predicate completion
- Defaults
Representing Actions (3/12-14)
- Situation Calculus
- Planning Domain Description Language (PDDL)