🚀 go-pugleaf

From: paulokat@informatik.uni-kl.de (Juergen Paulokat)
To: mod-ki@unido.informatik.uni-dortmund.de
Date: Fri, 10 May 91 12:08:41 GMT
Subject: <mod-ki 0701> Call: Workshop "(A)TMS in Expertensystemen"
Keywords: Workshops, Expertensysteme, ATMS

mod-ki message 0701
************************************************************************
                       Aufruf zur Beteiligung

Die Universitaet Kaiserslautern (AG Prof. M. M. Richter) veranstaltet im
Rahmen des SFB 314 zusammen mit der FG Planen und Konfigurieren  in  der
GI einen Workshop mit dem Thema:

                (A)TMS in Expertensystemen.

Dieser  findet  am  Montag,  den  17. Juni 1991,   ab  9.00 Uhr  an  der
Universitaet Kaiserslautern statt.

Die  von  Doyle  vorgestellten  Prinzipien  der   Begruendungsverwaltung
(reason oder auch truth maintenance) bergen ein grosses  Potential,  das
Loesen von Aufgaben in umfangreichen  Anwendungsklassen  effizienter  zu
gestalten.

Obwohl  die  Publikation  "A  Truth  Maintenance  System"  (TMS o. JTMS)
bereits  ueber  10  Jahre  zurueckliegt  und  1986  von  de  Kleer   ein
alternativer Ansatz zur Begruendungsverwaltung (ATMS) vorgestellt wurde,
befinden  sich  die  meisten   Ansaetze   zur   Integration   in   einem
prototypischen  Stadium.  Eine  Ausnahme  machen   einige   kommerzielle
XPS-Shells. Jedoch steht im Gesamtsystem die Funtionalitaet eines (A)TMS
nur in beschraenktem Umfang zur Verfuegung.

Wichtige   Punkte   bei   der   Integration   eines   (A)TMS   in   eine
Expertensystem-Shell sind z.B.:

 + Kombination    mit    anderen    Repraesentationsformalismen,    z.B.
   Constraint-Systemen. Hier wurden Vorschlaege gemacht, die Constraints
   vollstaendig  in  ein  ATMS  abzubilden,  jedoch  ergeben  sich  dann
   Probleme bei der Relaxation von Constraints.

 + Steuerung   des   Dependency   Directed   Backtrackings   durch   die
   Inferenzkomponente der Expertensystem-Shell beim JTMS.

 + Beschraenkung der zu untersuchenden Kontexte beim ATMS.

Ziel dieses kleinen Workshops ist es, etwas  Licht  in  die  bestehenden
Entwicklungsansaetze zu bringen. Im einzelnen  ist  an  kurze  Beitraege
gedacht, die die

 + Weiterentwicklungen von (A)TMSs und/oder

 + Ansaetze zur Integration

beschreiben.

Interessenten moegen sich bitte bei mir (Adresse siehe unten) mit  einem
kurzen Abstract melden. Grundsaetzlich  soll  auch  die  Teilnahme  ohne
Vortrag moeglich sein; um den Workshopcharakter zu foerdern wird es aber
nur eine beschraenkte Anzahl von  Teilnehmern  (ca. 20)  geben  koennen.
Trotz dieser Teilnahmebeschraenkung  haben  wir  uns  vorgestellt,  dass
dieser Workshop eine gemeinsame Veranstaltung  der  Fachgruppen  "Planen
und Konfigurieren" und "Nichtmonotones Schliessen"  sein  sollte.  Wegen
der Kuerze der zur Verfuegung stehenden Zeit konnte ich mich jedoch noch
nicht  mit  der   Fachgruppenleitung   "Nichtmonotones  Schliessen"   in
Verbindung setzen.

Wir beabsichtigen die  Herausgabe  von  schriftlichen  Abfassungen;  die
endgueltige Entscheidung moechten wir aber den  Teilnehmern  vorbehalten.

Der kurzfristige Termin ergibt sich aus dem  Besuch  von  Charles Petrie
(MCC, Austin/Texas) in Kaiserlautern.

   +++  Hieraus ergibt sich auch die Notwendigkeit,
   +++  die Vortraege in Englisch zu halten.

Ich glaube aber, dass durch die Mitwirkung von Charles Petri,  der  sich
seit  mehreren   Jahren   mit   den   angesprochenen   Problemstellungen
beschaeftigt, viele interessante Diskussionspunkte  beigesteuert  werden
koennen.

------------------------------------------------------------------------
juergen paulokat           AG Kuenstliche Intelligenz / Expertensysteme
                           FB Informatik
                           UNI Kaiserslautern
                           Postfach 3049, W-6750 Kaiserslautern, Germany

e-mail:                                         Tel.: (+49 631) 205-3367
paulokat@informatik.uni-kl.de                   Fax:  (+49 631) 205-3200
************************************************************************