🚀 go-pugleaf

-----------------------------------------------------------------------

FORSCHUNGSKOLLOQUIUM KI           

im Wintersemester 1997/1998

Dienstag, den 20.1.1998
16.00 - 18.00 Uhr
Raum  FR 6007

-----------------------------------------------------------------------


ADAPTIV-INKREMENTELLE CONSTRAINT-VERARBEITUNG MIT
CONSTRAINT-HANDLING-RULES (CHRS) IN DYNAMISCHEN UMGEBUNGEN


Armin Wolf

GMD FIRST


Nach einem kurzen Ueberblick ueber die vielfaeltigen Moeglichkeiten der
Constraintverarbeitung mit Constraint Handling Rules (CHRs) und deren
Anwendungen werden die CHRs detailliert vorgestellt. 
Neben Syntax, deklarativer Semantik wird insbesondere die operationale
Semantik von CHRs erlaeutert und Bemerkungen zur
Korrektheit, Vollstaendigkeit und Konfluenz gemacht.

Anhand eines Beispiels wird motiviert, dass eine inkrementelle
Anpassung der Resultate bei der Constraintverarbeitung mit CHRs
gegenueber einer Neuberechnung aus Effizienz- und Stabilitaetsgruenden
wuenschenswert ist. Darauf aufbauend
wird ein neues Verfahren skizziert, mit dessen Hilfe 
CHR-Ableitungen insbesondere nach dem Loeschen von Constraints
inkrementell angepasst werden koennen. Das Verfahren gewaehrleistet 
maximale Stabilitaet, denn es berechnet die maximale Teilfolge 
einer Umordnung der urspruenglich gegebenen Ableitung und ist vielfach
effizienter als eine vollstaendige Neuberechung
dieser Teilfolge, wie erste Experimente zeigen.


-----------------------------------------------------------------------

Technische Universität Berlin 
Fachbereich 13 - Informatik
Methoden der Kuenstlichen Intelligenz (KI)
Sekretariat FR 5-8
Franklinstr. 28/29, D-10587 Berlin, Germany

Sekretariat: 

Cordula Lippke
Mo-Do von 9:00-12:00 Uhr
Raum FR5055
Telefon +49-30-314-24941
Fax +49-30-314-24913
E-Mail clippke@cs.tu-berlin.de

-----------------------------------------------------------------------


!!! Das aktuelle Kolloquiumsprogramm ist auch im WWW
!!! unter http://ki.cs.tu-berlin.de/col.html zu finden
!!!
!!! Diese Ankuendigung als PS-File:
!!! http://ki.cs.tu-berlin.de/wolf.ps



-- 
### Peter Geibel 
### TU Berlin, KI, Sekr. FR 5-8, Franklinstr. 28/29, D-10587 Berlin
### Tel. +49-30-314-25491, Fax +49-30-314-24913
### http://www.cs.tu-berlin.de/~geibel, mailto:geibel@cs.tu-berlin.de