Foundations of Artificial Intelligence - Lectures
| Nr. | Date | Topic | Slides | Recordings | Remarks |
|---|---|---|---|---|---|
| 1. | 17.04.2013 | Introduction to AI |
ai01.pdf |
airec01.mp4 |
|
| 2. | 19.04.2013 |
Agents: Classes of agents, Types of environments
Search: Formulating Problems, Examples, General Search |
ai02.pdf ai03.pdf |
airec02.mp4 |
|
| 3. | 24.04.2013 |
Search: Tree- and Graph-Search, Breadth-First-Search, Uniform-Cost Search, Depth-First-Search, Iterative Deepening Search
Informed Search: Best-First-Search, A* |
ai03.pdf ai04.pdf |
airec03.mp4 |
|
| 4. | 03.05.2013 | Informed Search: A* and IDA*, Local Search, Genetic Algorithms |
ai04.pdf |
airec04.mp4 |
|
| 5. | 08.05.2013 | CSPs: Backtracking Search, Heuristics, Constraint Propagation, Problem Structure |
ai05.pdf |
airec05.mp4 |
|
| 6. | 15.05.2013 |
Board Games: Minimax, Alpha-Beta Search, Games with Chance
Propositional Logic |
ai06.pdf ai07.pdf |
Recordings were broken. See Main page for links to old recordings. | |
| 7. | 17.05.2013 | Propositional Logic: Syntax and Semantics, Logical Entailment, Logical Derivation (Resolution) |
ai07.pdf |
airec07.mp4 |
|
| 8. | 29.05.2013 |
Propositional Logic: Logical Derivation
Satisfiability and Model Construction: DPLL |
ai07.pdf ai08.pdf |
airec08.mp4 |
|
| 9. | 05.06.2013 |
Satisfiability and Model Construction: DPLL, Complexty, Greedy SAT
Predicate Logic: Syntax and Semantics |
ai08.pdf ai09.pdf |
airec09.mp4 |
|
| 10. | 07.06.2013 | Predicate Logic: Normal Forms, Reduction to Propositional Logic, Resolution & Unification |
ai09.pdf |
airec10.mp4 |
|
| 11. | 12.06.2013 |
Predicate Logic: Resolution & Unification
Planning: Introduction |
ai09.pdf ai10.pdf |
airec11.mp4 |
|
| 12. | 19.06.2013 | Knowledge Representation |
ai11.pdf |
airec12.mp4 |
|
| 13. | 19./21. 06.2013 | Making Simple Decisions Under Uncertainty: Foundations of Probability Theory, Probabilistic Inference |
ai12.pdf |
airec13.mp4 |
|
| 14. | 26.06.2013 | AI Planning: Formalisms, Basic Planning Algorithms, Computational Complexity |
ai10.pdf |
airec14.mp4 |
|
| 15. | 03.07.2013 | Making Simple Decisions Under Uncertainty: Recursive Bayesian Updating, Bayesian Networks |
ai12.pdf |
airec15.mp4 |
|
| 16. | 05.07.2013 | Acting under Uncertainty: Choosing Individual Actions, Markov Decision Processes (MDPs), Value Iteration |
ai13.pdf |
airec16.mp4 |
|
| 17. | 10.07.2013 | Machine Learning: Types of learning, Decision Trees |
ai14.pdf |
airec17.mp4 |
|
| 18. | 17.07.2013 | AI Planning: Current Algorithmic Approaches |
ai10.pdf |
airec18.mp4 |