Archive: Spring Semester 2014
CS205 Grundlagen der künstlichen Intelligenz
| Dozent | Malte Helmert |
| Assistenten | Martin Wehrle |
| Tutoren | Lukas Beck |
| Vorlesung |
Montag 17:15 - 19:00; Bernoullistrasse 16, Seminarraum 205
Freitag 13:15 - 15:00; Bernoullistrasse 16, Seminarraum 205 |
| Startveranstaltung | 17.2.2014 |
| Prüfungszulassung | 50% der Punkte aus den Übungsaufgaben |
| Prüfung | Mündlich (11.-13. Juni) |
| Übungen | Fr 15:15-17:00; Seminarraum 205 |
| Kurzbeschreibung |
Die Vorlesung bietet eine Einführung in die grundlegenden Sichtweisen, Probleme, Methoden und Techniken der Künstlichen Intelligenz.
Thematische Schwerpunkte: Einführung und historische Entwicklung der KI, der Agentenbegriff in der KI, Problemlösen und Suche, Logik und Repräsentation, Handlungsplanung, Darstellung und Verarbeitung unsicheren Wissens. |
| Zielpublikum | Studierende aller Fachrichtungen, insbesondere der Naturwissenschaften. Pflichtveranstaltung für Studierende der Informatik mit Vertiefungsmodul Computer Science oder Bioinformatik. |
| Voraussetzungen | Gute Basiskenntnisse in praktischer und theoretischer Informatik (Algorithmen, Komplexitätstheorie). |
| Literatur | Stuart Russell und Peter Norvig: Artificial Intelligence - A Modern Approach (3. Auflage), Prentice Hall, 2009. |
| Anmeldung | Belegen |
| Kreditpunkte | 6 ECTS-Punkte |
| Vorlesungsverzeichnis Nr. | 13548-01 |
Vorlesungsunterlagen
| Nr. | Thema | Datum | Folien | ||
| 0. | Organisatorisches | 17.02.14 |
(Beamer)
(Drucker) |
||
| 1. | Einführung | 21.02.14 |
(Beamer)
(Drucker) |
||
| 2. | Agenten | 28.02.14 |
(Beamer)
(Drucker) |
||
| 3. | Klassische Suche: Zustandsräume | 03.03.14 |
(Beamer)
(Drucker) |
||
| 4. | Klassische Suche: Repräsentation von Zustandsräumen | 03.03.14 |
(Beamer)
(Drucker) |
||
| 5. | Klassische Suche: Beispiele von Zustandsräumen | 07.03.14 |
(Beamer)
(Drucker) |
||
| 6. | Klassische Suche: Datenstrukturen für Suchalgorithmen | 07.03.14 |
(Beamer)
(Drucker) |
||
| 7. | Klassische Suche: Baumsuche & Graphensuche | 17.03.14 |
(Beamer)
(Drucker) |
||
| 8. | Klassische Suche: Breitensuche und uniforme Kostensuche | 17.03.14 |
(Beamer)
(Drucker) |
||
| 9. | Klassische Suche: Tiefensuche & iterative Tiefensuche | 21.03.14 |
(Beamer)
(Drucker) |
||
| 10. | Klassische Suche: Heuristiken | 24.03.14 |
(Beamer)
(Drucker) |
||
| 11. | Klassische Suche: Analyse von Heuristiken | 28.03.14 |
(Beamer)
(Drucker) |
||
| 12. | Klassische Suche: Bestensuche als Graphensuche | 28.03.14 |
(Beamer)
(Drucker) |
||
| 13. | Klassische Suche: Gierige Bestensuche, A*, Weighted A* | 31.03.14 |
(Beamer)
(Drucker) |
||
| 14. | Klassische Suche: IDA* | 31.03.14 |
(Beamer)
(Drucker) |
||
| 15. | Klassische Suche: A*: Optimalität, Teil I | 04.04.14 |
(Beamer)
(Drucker) |
||
| 16. | Klassische Suche: A*: Optimalität, Teil II | 04.04.14 |
(Beamer)
(Drucker) |
||
| 17. | Klassische Suche: A*: Vollständigkeit und Komplexität | 04.04.14 |
(Beamer)
(Drucker) |
||
| 18. | Lokale Konfigurationssuche | 07.04.14 |
(Beamer)
(Drucker) |
||
| 19. | Constraint-Satisfaction-Probleme: Einführung und Beispiele | 07.04.14 |
(Beamer)
(Drucker) |
||
| 20. | Constraint-Satisfaction-Probleme: Constraint-Netze | 11.04.14 |
(Beamer)
(Drucker) |
||
| 21. | Constraint-Satisfaction-Probleme: Backtracking | 11.04.14 |
(Beamer)
(Drucker) |
||
| 22. | Constraint-Satisfaction-Probleme: Kantenkonsistenz | 14.04.14 |
(Beamer)
(Drucker) |
||
| 23. | Constraint-Satisfaction-Probleme: Pfadkonsistenz | 14.04.14 |
(Beamer)
(Drucker) |
||
| 24. | Constraint-Satisfaction-Probleme: Constraint-Graphen | 25.04.14 |
(Beamer)
(Drucker) |
||
| 25. | Constraint-Satisfaction-Probleme: Zerlegungsmethoden | 25.04.14 |
(Beamer)
(Drucker) |
||
| 26. | Aussagenlogik: Grundlagen | 28.04.14 |
(Beamer)
(Drucker) |
||
| 27. | Aussagenlogik: Logisches Schliessen und Resolution | 28.04.14 |
(Beamer)
(Drucker) |
||
| 28. | Aussagenlogik: DPLL-Algorithmus | 02.05.14 |
(Beamer)
(Drucker) |
||
| 29. | Aussagenlogik: Lokale Suche und Ausblick | 02.05.14 |
(Beamer)
(Drucker) |
||
| 30. | Handlungsplanung: Einführung | 05.05.14 |
(Beamer)
(Drucker) |
||
| 31. | Handlungsplanung: Planungsformalismen | 05.05.14 |
(Beamer)
(Drucker) |
||
| 32. | Handlungsplanung: Delete-Relaxierung | 09.05.14 |
(Beamer)
(Drucker) |
||
| 33. | Handlungsplanung: Delete-Relaxierungs-Heuristiken | 09.05.14 |
(Beamer)
(Drucker) |
||
| 34. | Handlungsplanung: Abstraktion und Musterdatenbanken | 12.05.14 |
(Beamer)
(Drucker) |
||
| 35. | Handlungsplanung: Merge-and-Shrink-Abstraktionen | 12.05.14 |
(Beamer)
(Drucker) |
||
| 36. | Handlungsplanung: Landmarken | 16.05.14 |
(Beamer)
(Drucker) |
||
| 37. | Handlungsplanung: Landmarken-Heuristiken | 16.05.14 |
(Beamer)
(Drucker) |
||
| 38. | Brettspiele: Einführung und Minimax-Suche | 19.05.14 |
(Beamer)
(Drucker) |
||
| 39. | Brettspiele: Alpha-Beta-Suche und Ausblick | 23.05.14 |
(Beamer)
(Drucker) |
Übungsunterlagen
| Nr. | Abgabedatum | Dateien |
| 1. | 07.03.2014 | Blatt 1 |
| 2. | 21.03.2014 |
Blatt 2
state-spaces.tar |
| 3. | 28.03.2014 |
Blatt 3
SearchAlgorithmBase.java PuzzleStateSpace.java |
| 4. | 04.04.2014 | Blatt 4 |
| 5. | 11.04.2014 |
Blatt 5
IterativeDeepeningSearch.java |
| 6. | 25.04.2014 | Blatt 6 |
| 7. | 02.05.2014 |
Blatt 7
kantone.dot |
| 8. | 09.05.2014 | Blatt 8 |
| 9. | 16.05.2014 |
Blatt 9
bridges.pddl koenigsberg-strips.pddl fast-downward-package.tar.bz2 |
| 10. | 23.05.2014 | Blatt 10 |
Zusatzmaterial
| zu Kap. | Beschreibung | Dateien |
| 1. | Turings "Computation Machinery and Intelligence" | |
| 1. | DARPA Grand Challenge, Video 1 | Video |
| 1. | DARPA Grand Challenge, Video 2 | Video |
| 4. | 8-Puzzle als expliziter Graph | BZ2 |
| 4. | 8-Puzzle deklarativ repräsentiert | Zip |
| 4. | 8-Puzzle als Black Box | Zip |
| 4. | Delling et al.'s "Engineering Route Planning Algorithms" | |
| 6. | Burns et al.'s "Implementing Fast Heuristic Search Code" | |
| 8. | Korf und Schultzes "Large-Scale Parallel Breadth-First Search" | |
| 9. | Aufwandsberechnung iterative Tiefensuche | Python |
| 14. | Korfs Originalarbeit zu IDA* | (*) |
| 19. | McGuire et al.'s "There is no 16-Clue Sudoku" | |
| 22. | Simonis's "Sudoku as a Constraint Problem" | |
| 31. | PDDL-Beispiel | Zip |
| 33. | Keyder and Geffners "Heuristics for Planning with Action Costs Revisited" | |
| 39. | Schaeffer et al.'s "Checkers Is Solved" | (*) |
(*) Bitte melden Sie sich bei uns, wenn Sie dieses Material interessiert. Wir können es aus Copyright-Gründen nicht online stellen.