Universität Bielefeld - Technische Fakultät - AG Wissensbasierte Systeme
Methoden der Künstlichen Intelligenz
Vorlesung im Hauptstudium, Wintersemester 2003/04
Prof. Ipke Wachsmuth
Do 10-12, H15
Übersicht
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.
Vorlesungsplan WS 2003/2004 (pdf)
Termine
Die Folien zur Vorlesung (pdf):
Symbolische Repräsentation
Problemlösen und Suche
Logik und Inferenz
Spezielle Schlussverfahren
Kommunizierende Agenten
Literatur
Begleitende Literatur zur Vorlesung ist im Semesterapparat "Wachsmuth, Latoschik, Kopp, Sowa"
in der Fachbibliothek Mathematik/Informatik zu finden. Folgende Bücher
werden besonders empfohlen:
E. Charniak & D. McDermott.
Introduction to Artificial Intelligence.
Addison Wesley, 1985.
G. Görz, C.-R. Rollinger, J. Schneeberger (Hrsg).
Handbuch der Künstlichen Intelligenz.
3. Auflage. Oldenbourg, 2000.
S. Russell & P. Norvig. Artificial Intelligence: A Modern
Approach. Prentice Hall, 1995/2003.
P. H. Winston. Artificial Intelligence. Third Edition.
Addison Wesley, 1992.
Online
AI
Overview der American Association for Artificial Intelligence
AI on the web
Timo Sowa, 2004-01-27