Vorlesung im Wintersemester 2007/08
Prof. Ipke Wachsmuth
Di 14-16, H14
eKVV-Eintrag
Das Gebiet Künstliche Intelligenz (KI) befasst sich mit der Konstruktion von informationsverarbeitenden Systemen – "intelligenten Agenten" –, die kognitive Leistungen modellieren und in technischen Anwendungen verwerten. Seine theoretischen Grundlagen entstammen u.a. auch der Linguistik und der Psychologie. Ziel der KI-Ausbildung innerhalb der Informatik ist die Vermittlung von grundlegenden Konzepten und Methoden begrifflicher Informationsverarbeitung unter Betonung des interdisziplinären Charakters der KI.
Was sind Methoden der KI? Hier werden Wege aufgezeigt, wie man Datenstrukturen zur Darstellung von Wissen maschinenerarbeitbar anlegen kann, wie man Problemlösungs- und Entscheidungsprozesse modellieren kann, wie man mit symbolverarbeitenden Computerprogrammen auf der Basis logischer Kalküle Schlussfolgerungen aus Annahmen ziehen kann und wie man mit Maschinen kommunizieren kann. Wer Methoden der KI nicht nur theoretisch verstehen, sondern auch praktisch beherrschen lernen will, findet in den Übungen zur Vorlesung eine wesentliche Ergänzung.
Klausur: 19.02.2008, 10-12 Uhr in H14 (Anmeldung bis 08.02.2008)
Nachklausur: 28.03.2008, 10-12 Uhr in H14 (unverbindliche Anmeldung bis 17.03.2008)
Die Folien zur Vorlesung (pdf):
Verantwortlich für die Übungen ist Christian Becker. Bei Problemen oder Fragen wendet euch bitte innerhalb seiner Sprechzeiten (momentan Freitag, 14-15 Uhr) oder per email (siehe Homepage) an ihn.
Zusätzlich zu den hier angebotenen Informationen finden sich im elearning Bereich der Universität Bielefeld (Stud-IP):
Stud.IP-Seiten der Veranstaltung
Dort werden auch alle Übungszettel zum Herunterladen im öffentlichen Bereich zur Verfügung gestellt.
Begleitende Literatur zur Vorlesung ist im Semesterapparat "Wachsmuth, Latoschik, Kopp, Sowa" in der Fachbibliothek Mathematik/Informatik zu finden. Folgende Bücher werden besonders empfohlen: