Artificial Intelligence
Winter Semester 2021
Course Outline
- History and philosophical foundations of AI
- Intelligent agents
- Problem solving by searching and informed search methods
- Propositional and predicate logic
- The situation calculus
- Natural deduction and generalized modus-ponens
- Resolution
- Planning (State-space, plan-space, graph, decision tree)