392101 Methoden der KI (V) (WiSe 2001/2002)

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 Schlußfolgerungen 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 ausnahmsweise im Umfang von 2V+2Ü statt. Wer mehr über aktuelle Trends in der KI lernen möchte, dem sei das in diesem Semester erstmalig angebotene Seminar "Methoden der KI für das Web" empfohlen.

Requirements for participation, required level

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

Bibliography

(genauere Hinweise in der Vorlesung):
Charniak, E. & McDermott, D.: Introduction to Artificial Intelligence. Addison-Wesley, 1985.
Görz, G. (Hrsg.): Einführung in die künstliche Intelligenz, 2. Auflage. Bonn: Addison-Wesley, 1995.
Russell, S. & Norvig, P.: Artificial Intelligence: A Modern Approach. Prentice-Hall, 1995.