Universität Bielefeld

Methoden der Künstlichen Intelligenz

Vorlesung im Wintersemester 2010/11
Prof. Ipke Wachsmuth
Di 14-16, H9 (geändert)
eKVV-Eintrag

Übersicht

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. Die Übungen sind eine wesentliche Ergänzung der Vorlesung.

Termine

Vorlesungsplan

Klausur: 15.02.2011, 10-12 Uhr in H15   Nachklausur: 22.03.2011, 10-12 Uhr in H3 (Raum noch zu bestätigen)

Die Folien zur Vorlesung (pdf):

  1. Symbolische Repräsentation
  2. Problemlösen und Suche
  3. Logik und Inferenz
  4. Spezielle Schlussverfahren
  5. Kommunizierende Agenten

Übungen

Verantwortlich für die Übungen ist Nikita Mattar. Bei Problemen oder Fragen wenden Sie sich bitte innerhalb seiner Sprechzeiten oder per email (siehe Homepage) an ihn.

Weiteres siehe eKVV und Forum.

Literatur

Begleitende Literatur zur Vorlesung ist im Semesterapparat Wachsmuth in der Fachbibliothek Mathematik/Informatik zu finden.
Folgende Bücher werden besonders empfohlen:

Online


Ipke Wachsmuth, 2011-02-17