392101 Methoden der Künstlichen Intelligenz (V+Ü) (WiSe 2007/2008)

Die Künstliche Intelligenz (KI) befasst sich mit der Konstruktion
von informationsverarbeitenden Systemen - "intelligenten Agenten" -, 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 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.

Teilnahmevoraussetzungen, notwendige Vorkenntnisse

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

Literaturangaben

(unter anderem; genauere Hinweise in der Vorlesung):

• Charniak, E. & McDermott, D.: Introduction to Artificial Intelligence.

Addison-Wesley, 1985.

• Russel & Norvig: Artificial Intelligence: A Modern Approach. Prentice-Hall,

1995/2003.