392101 Methoden der Künstlichen Intelligenz (V) (WiSe 2002/2003)

Die Künstliche Intelligenz (KI) befasst sich mit der Konstruktion von informationsverarbeitenden Systemen, die kognitive Leistungen modellieren und in technischen Anwendungen verwerten. Ihre 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 mit symbolverarbeitenden Computerprogrammen Schlussfolgerungen aus Annahmen ziehen kann, wie man mit Maschinen kommunizieren kann, wie man Planungs- und Entscheidungsprozesse modellieren kann, wie man überhaupt Datenstrukturen zur Darstellung von Wissen maschinenverarbeitbar anlegen 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.

Die Veranstaltung findet dieses Semester voraussichtlich im Umfang von 2V+2Ü statt.

Teilnahmevoraussetzungen, notwendige Vorkenntnisse

Vorlesung und Übung sind für Studierende im Hauptstudium gedacht, die schon über Grundkenntnisse in formaler Logik verfügen.

Literaturangaben

(genauere Hinweise in der Vorlesung):

Charniak, E. & McDermott, D.: Introduction to Artificial Intelligence. Addison-Wesley, 1985.

Russel, S. & Norvig, P.: Artificial Intelligence: A Modern Approach. Prentice-Hall, 1995.