Grundlagen der Künstlichen Intelligenz - Vorlesungen
Nr. | Datum | Thema | Folien | Aufzeichnung | Bemerkung |
---|---|---|---|---|---|
1. | 17.04.2013 | Einführung in die KI |
ai01.pdf |
airec01.mp4 |
|
2. | 19.04.2013 |
Agenten: Klassen von Agenten, Umgebungsarten
Suche: Problemformulierungen, Beispiele, Allgemeine Suche |
ai02.pdf ai03.pdf |
airec02.mp4 |
|
3. | 24.04.2013 |
Suche: Baum- und Graph-Suche, Breitensuche, Uniforme Kostensuche, Tiefensuche, Iterative Tiefensuche
Informierte Suche: Bestensuche, A* |
ai03.pdf ai04.pdf |
airec03.mp4 |
|
4. | 03.05.2013 | Informierte Suche: A* und IDA*, Lokale Suche, Genetische Algorithmen |
ai04.pdf |
airec04.mp4 |
|
5. | 08.05.2013 | CSPs: Suche mit Backtracking, Heuristiken, Constraint Propagation, Problemstruktur |
ai05.pdf |
airec05.mp4 |
|
6. | 15.05.2013 |
Brettspiele: Minimax, Alpha-Beta-Suche, Spiele mit Zufallselementen
Aussagenlogik |
ai06.pdf ai07.pdf |
Aufzeichnungen waren fehlerhaft. Siehe Hauptseite für Links zu alten Aufzeichnungen. | |
7. | 17.05.2013 | Aussagenlogik: Syntax und Semantik, Logische Implikation, Logische Ableitung (Resolution) |
ai07.pdf |
airec07.mp4 |
|
8. | 29.05.2013 |
Aussagenlogik: Resolution
Erfüllbarkeit und Modellkonstruktion: DPLL |
ai07.pdf ai08.pdf |
airec08.mp4 |
|
9. | 05.06.2013 |
Erfüllbarkeit und Modellkonstruktion: DPLL, Komplexität, Greedy SAT
Prädikatenlogik: Syntax und Semantik |
ai08.pdf ai09.pdf |
airec09.mp4 |
|
10. | 07.06.2013 | Prädikatenlogik: Normalformen, Reduzierung auf Aussagenlogik, Resolution & Unifizierung |
ai09.pdf |
airec10.mp4 |
|
11. | 12.06.2013 |
Prädikatenlogik: Resolution & Unifizierung
Handlungsplanung: Einführung |
ai09.pdf ai10.pdf |
airec11.mp4 |
|
12. | 19.06.2013 | Wissensräpresentation |
ai11.pdf |
airec12.mp4 |
|
13. | 19./21. 06.2013 | Einfache Entscheidungen unter Unsicherheit: Grundlagen der Wahrscheinlichkeitstheorie, Probabilistisches Schließen |
ai12.pdf |
airec13.mp4 |
|
14. | 26.06.2013 | Handlungsplanung: Formalismen, Grundlegende Algorithmen, Komplexität |
ai10.pdf |
airec14.mp4 |
|
15. | 03.07.2013 | Einfache Entscheidungen unter Unsicherheit: Rekursive Bayes-Updates, Bayessche Netze |
ai12.pdf |
airec15.mp4 |
|
16. | 05.07.2013 | Handeln unter Unsicherheit: Auswahl einzelner Aktionen, Markov Decision Processes (MDPs), Value Iteration |
ai13.pdf |
airec16.mp4 |
|
17. | 10.07.2013 | Maschinelles Lernen: Lernmethoden, Entscheidungsbäume |
ai14.pdf |
airec17.mp4 |
|
18. | 17.07.2013 | Handlungsplanung: Aktuelle Planungsverfahren |
ai10.pdf |
airec18.mp4 |