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