| Dozent | Prof. Dr. Andreas Zell |
| Sprechstunde | Do. 13:30 - 15:00 Uhr |
| Zeit | Mi. 10:15 - 12:00 Uhr Fr. 13:15 - 14:00 Uhr |
| Umfang | 3V + 1Ü, 6 LP |
| Beginn | Mi. 14.10.2015 |
| Ort | Sand A301 |
| Turnus | jährlich |
| Klausur | Mi. 17.02.2016, 10:00 - 12:00 Uhr, Sand A301. |
Das Modul behandelt ungefähr die erste Hälfte des Buches von
Stuart Russel, Peter Norvig: Artificial Intelligence, A Modern Approach,
3rd. Edition. Dazu gehören: Einführung, Grundlagen und Geschichte
der KI, Intelligente Agenten, Problemlösen durch Suche, Heuristische
Suchverfahren, lokale Suchverfahren, Suchen mit nichtdeterministischen
Aktionen und partiellen Beobachtungen, Suchverfahren mit Gegnern (adversarial
search), Suchverfahren für Spiele, Alpha-Beta-Pruning, Stochastische
Spiele, Constraint Satisfaction-Probleme, Backtracking-Suche, Logische
Agenten, Agenten basierend auf Aussagenlogik, Prädikatenlogik und
Wissensrepräsentation darin, Unifikation und Lifting, Forward Chaining,
Backward Chaining, Prolog, klassisches Planen, Hierarchisches Planen und
Multiagenten-Planen, Wissensrepräsentation.
Die Konzepte der Vorlesung werden in Übungen und Programmieraufgaben
mit Lisp bzw. Java vertieft. Studierende lernen damit, Probleme mit KI-Techniken
selbständig zu lösen.
Mathematik I+II, Informatik I+II, Algorithmen. Vorteilhaft: Erfahrung mit Java und Scheme oder Lisp.
Stuart Russel, Peter Norvig: Artificial Intelligence, A Modern Approach, 3rd. Edition, Prentice Hall
