Uni-Logo

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