Künstliche Intelligenz (KI) ist ein wichtiges Teilgebiet der Informatik, das sich damit beschäftigt, Computern eigenständiges "intelligentes" Verhalten beizubringen. Heutzutage finden sich KI-Anwendungen in fast jeder Software. Ein prominentes Beispiel sind Computer-Gegner in Spielen.
In dieser Vorlesung sollen die Studierenden die grundlegenden Begriffe und Verfahren der Künstlichen Intelligenz kennenlernen. Sie sollen befähigt werden, Probleme in geeigneter Form zu formalisieren und passende KI-Verfahren zur Lösung auf diese Probleme anzuwenden. Dabei werden u.a. Themen wie Agenten, Suchverfahren, Constraint-Satisfaction-Probleme und Logik behandelt.
Geplante Themen:
Einführung (Intelligente Agenten)
Problemlösung (Suche, Constraint-Satisfaction-Probleme, Adversarial search)
Wissensrepräsentation (Logik, Inferenz, Logic Programming, Modellierung von Unsicherheit)
Lernen (Lernen von Beispielen, Neuronale Netze)
Robotik |
LSF
– Lehre - Studium - Forschung
