Veranstaltungen im Wintersemester 2010/11 / Vorlesung Künstliche Intelligenz
Hinweis: Die Übung findet trotz anders lautender Beschreibung im LSF im B26 Spl. statt.
In dieser Vorlesung lernen Studierende die grundlegenden Begriffe und Verfahren der Künstlichen Intelligenz. Sie können Probleme unabhängig vom Anwendungsbereich in geeigneter Form formalisieren und Verfahren zum Auffinden möglichst optimaler Lösungen auswählen und anpassen. Sie können die Qualität der Ergebnisse solcher Verfahren einschätzen.
Behandelte Themen:
- Suche: uninformierte Suche, informierte Suche, adverserial search
- Constraint Satisfaction Problems
- Logik: Aussagenlogik, Logik erster Stufe, Inferenz
- Prolog
- Inductive Logic Programming
Dozent: Dr. Tomáš Horváth
Übungen: Rasoul Karimi