Universität Bielefeld - Technische Fakultät
Workshop 2
Objekt-orientierte KI-Programmierung
(Workshop der FG 1.1.1 Deklarative KI-Programmierung)
Organisations- und Programmkomitee:
Dr. C. Beckstein (Chair, Uni Erlangen), Prof. Dr. C. Beierle (Fern-Uni
Hagen), Dr. H. Boley (DFKI), Prof. Dr. U. Geske (GMD-FIRST), Dr.
D. Seipel (Uni Tübingen), Dr. G. Specht (TU München)
Workshopbeschreibung:
Die objekt-orientierte Methode hat in der KI bereits eine lange Tradition -
sowohl bei der Konzeption von Wissensrepräsentationsformalismen als auch
der von Programmiersprachen. In Anbetracht der heißen Diskussion, die momentan
um die Objekt-Orientierung geführt wird, liegt es daher nahe, zu untersuchen,
welche Rolle die Objekt-Orientierung in der modernen deklarativen KI-Programmierung
spielt. Im Rahmen des Workshops "Objekt-orientierte KI-Programmierung" sollen
daher Beiträge diskutiert werden, die sich dieser Frage annehmen - aus den Gebieten der Logik-Programmmierung, dem der funktionalen Programmiersprachen, der objekt-orientierten und deduktiven Datenbanken sowie allgemein der KI-Programmierung.
Um der besonderen Bedeutung der Objekt-Orientierung für die Praxis Rechnung zu tragen, soll außerdem thematisiert werden, welche Rolle die Objekt-Orientierung für die Implementierung großer KI-Systeme spielt. In diesem Zusammenhang ist auch eine Systemvorführung vorgesehen.
Im Rahmen des Workshops ist zudem ein Panel zum Thema
"Was ist der deklarative Kern von objekt-orientierter Programmierung?"
geplant, zu dem hiermit nochmals herzlich eingeladen wird.
Geplante Vorträge:
Georg Elsner (ORISA GmbH, Jena): Einfache Objekte für komplexe Probleme - ein Objektmodell für wissensbasierte Beratungssysteme
Reinhard Eppler (Univ. Kaiserslautern): Object-Oriented Concepts Compared with Order-Sorted Types and Best-Fit Pattern Matching
Steffen Hölldobler und Michael Thielscher (TU Dresden und TH Darmstadt): Objects, Specificity, Logic, and Chance
Gregor Meyer (Fern-Univ. Hagen): A Framework for Object-Oriented Logic Programming
Christian Rathke (Univ. Stuttgart): Adding Deamons to Objects
Peter Rüppel (TU Berlin): A Framework for Flexible Class Testing
Adrian Taciulescu und Günther Specht (TU München): Erweiterung des Deduktiven Datenbanksystems Lola um objekt-orientierte Logikprogrammierung
Kontaktadresse:
Dr. Clemens Beckstein
Friedrich-Schiller-Universität Jena,
Fakultät für Mathematik und Informatik Institut für Informatik,
D-07740 Jena
Tel.: Intl.+49/3641/6-31391, FAX : Intl.+49/3641/6-31400
Email (Internet): beckstein@informatik.uni-jena.de
Ipke Wachsmuth, 1995-01-31
Anke Bodzin, 1995-07-13