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:

1. Suche: uninformierte Suche, informierte Suche, adverserial search
2. Constraint Satisfaction Problems
3. Logik: Aussagenlogik, Logik erster Stufe, Inferenz
4. Prolog
5. Inductive Logic Programming

Dozent: Dr. Tomáš Horváth
Übungen: Rasoul Karimi