Veranstaltungen im Wintersemester 2009/10 / Vorlesung Künstliche Intelligenz
In dieser Vorlesung lernen Studierende die grundlegenden Begriffe und Verfahren der Kuenstlichen Intelligenz. Sie koennen Probleme unabhaengig vom Anwendungsbereich in geeigneter Form formalisieren und Verfahren zum Auffinden moeglichst optimaler Loesungen auswaehlen und anpassen. Sie koennen die Qualitaet der Ergebnisse solcher Verfahren einschaetzen.
Behandelte Themen:
- Suche: uninformierte Suche, informierte Suche, adverserial search
- Constraint Satisfaction Problems
- Logik: Aussagenlogik, Logik erster Stufe, Inferenz
- Prolog
- Inductive Logic Programming
Dozent: Prof. Dr. Dr. Lars Schmidt-Thieme
Übungen: Christoph Freudenthaler