🚀 go-pugleaf

From: unido!tuvie!pollux!dorn (Juergen Dorn)
To: mod-ki@unido.uucp
Date: Wed, 29 Nov 89 11:55:20 +0100
Subject: Adressenaenderung + Dissertationsveroeffentlichung
Keywords: Personalia, Publikationen

mod-ki message 0338
************************************************************************
      Dr. Juergen Dorn                    [Herzlichen Glueckwunsch! hwh]
 
Alte Adresse
      TU Berlin
      Institut fuer technische Informatik
      Sekr. FR 2-2
      Franklinstr. 28/29
      D-1000 Berlin
 
Neue Adresse
      Christian Doppler Labor fuer Expertensysteme
      Technische Universitaet Wien
      Paniglgasse 16
      D-4600 Dortmund 50
 
Soeben erschienen:
 
Juergen Dorn: "Wissensbasierte Echtzeitplanung"

Vieweg Verlag, 186 Seiten, DM 49,-
Herausgeber: Wolfgang Bibel
ISBN 3-528-04752-6

In der Arbeit wird ein Modell zur  ereignisorientierten  Repraesentation
von Wissen in technischen Prozessen entwickelt. Die  Darstellung  beruht
auf dem Paradigma der Erscheinung. Eine Erscheinung  ist  eine  logische
Aussage, die auf die Zeitgerade abgebildet wird. Zwischen  Erscheinungen
koennen  kausale  und  temporale  Einschraenkungen  aufgestellt  werden.
Darauf aufbauend wird das Modell der Skripten definiert. Skripte stellen
eine Wissensstruktur zur Abstraktion von einzelnen Erscheinungen,  sowie
den kausalen und temporalen Einschraenkungen zwischen den  Erscheinungen
dar. Auf diesem Modell wird eine Planung fuer Anwendungen  spezifiziert,
die  Echtzeitanforderungen  besitzen.  Die  Planung  basiert   auf   der
Propagierung  von  kausalen  und  temporalen   Einschraenkungen.   Diese
Einschraenkungen sind logische Abhaengigkeiten  zwischen  Erscheinungen,
in denen dargestellt wird, welche  Auspraegung  einer  Aussageform,  die
eine  Erscheinung  beschreibt,  noch  moeglich  sind.  Im  Verlauf   der
Verarbeitung wird die Menge der moeglichen Auspraegungen ermittelt.

Das Modell  zur  Wissensrepraesentation  ist  durch  ein  mathematisches
System definiert, das mit Hilfe von Praedikatenlogik  beschrieben  wird.
Ein Teil dieses Systems bildet die lineare diskrete Zeitgerade, die  wie
die natuerlichen Zahlen aufgebaut ist. Einen weiteren  Teil  bildet  ein
Modalsystem, das zur Definition von  Kausalitaet  eingesetzt  wird.  Die
Verarbeitung des Wissens ist zum einen durch Saetze  des  mathematischen
Systems gegeben, zum anderen werden Algorithmen vorgelegt.

Das  erarbeitete  Modell   stellt   im   Rahmen   der   wissensbasierten
Programmierung   eine   neue   Sichtweite   vor.   Im   Gegensatz    zur
zustandsorientierten  Modellierung  in  den   meisten   wissensbasierten
Systemem wird eine ereignisorientierte Modellierung  vorgeschlagen.  Die
Modellierung von Echtzeitprozessen erscheint in diesem Modell  leichter,
weil komplexe zeitliche Zusammenhaenge leichter darzustellen sind.
************************************************************************