Important Links
Lecture Slides
| No | Topic | Date | Slides |
|---|---|---|---|
| A1 | Organizational Matters | 26.02. | |
| A2 | What is Artificial Intelligence? | 26.02. | |
| A3 | AI Past and Present | 28.02. | |
| A4 | Rational Agents | 28.02. | |
| A5 | Introduction: Environments and Problem Solving Methods | 04.03. | |
| B1 | State-Space Search: State Spaces | 04.03. | |
| B2 | State-Space Search: Representation of State Spaces | 06.03. | |
| B3 | State-Space Search: Examples of State Spaces | 06.03. | |
| B4 | State-Space Search: Data Structures for Search Algorithms | 11.03. | |
| B5 | State-Space Search: Tree Search and Graph Search | 11.03. | |
| B6 | State-Space Search: Breadth-first Search | 13.03. | |
| B7 | State-Space Search: Uniform Cost Search | 13.03. | |
| B8 | State-Space Search: Depth-first Search & Iterative Deepening | 18.03. | |
| B9 | State-Space Search: Heuristics | 18.03. | |
| B10 | State-Space Search: Analysis of Heuristics | 20.03. | |
| B11 | State-Space Search: Best-first Graph Search | 20.03. | |
| B12 | State-Space Search: Greedy BFS, A*, Weighted A∗ | 25.03. | |
| B13 | State-Space Search: IDA∗ | 25.03. | |
| B14 | State-Space Search: Properties of A∗, Part I | 27.03. | |
| B15 | State-Space Search: Properties of A∗, Part II | 27.03. | |
| C1 | Combinatorial Optimization: Introduction and Hill-Climbing | 03.04. | |
| C2 | Combinatorial Optimization: Advanced Techniques | 03.04. | |
| D1 | Constraint Satisfaction Problems: Introduction and Examples | 08.04. | |
| D2 | Constraint Satisfaction Problems: Constraint Networks | 08.04. | |
| D3 | Constraint Satisfaction Problems: Backtracking | 10.04. | |
| D4 | Constraint Satisfaction Problems: Arc Consistency | 10.04. | |
| D5 | Constraint Satisfaction Problems: Path Consistency | 15.04. | |
| D6 | Constraint Satisfaction Problems: Constraint Graphs | 15.04. | |
| D7 | Constraint Satisfaction Problems: Decomposition Methods | 17.04. | |
| E1 | Propositional Logic: Syntax and Semantics | 17.04. | |
| E2 | Propositional Logic: Equivalence and Normal Forms | 22.04. | |
| E3 | Propositional Logic: Reasoning and Resolution | 22.04. | |
| E4 | Propositional Logic: DPLL Algorithm | 24.04. | |
| E5 | Propositional Logic: Local Search and Outlook | 24.04. | |
| F1 | Automated Planning: Introduction | 29.04. | |
| F2 | Automated Planning: Planning Formalisms | 29.04. |
Exercises
are provided via ADAM
Supplementary Material
(*) Please get in touch with us if you are interested in this material. For copyright reasons, we are not allowed to make it available online.