392101 Methoden der Künstlichen Intelligenz (V) (WiSe 2005/2006)

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 im Hauptstudium 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.