🚀 go-pugleaf

From: fromherz@ifi.unizh.ch (Markus P.J. Fromherz)
To: mod-ki@unido.informatik.uni-dortmund.de
Date: 2 May 91 12:15 +0200
Subject: <mod-ki 0696> Prolog Forum 8.5.91
Keywords: Vortraege

mod-ki message 0696
************************************************************************
                              Prolog Forum

     Wednesday, May 8, 1991, 12.30 at room 21-G-74 (below the mensa)
          Institut fuer Informatik, University of Zuerich-Irchel

                              Carlo Muller
                          Nosco AG, Wallisellen

  Visuelles Problemloesen in einer objekt-orientierten Prolog-Umgebung

Software-Umgebungen,  die  das  Loesen   von   Problemen   durch   einen
menschlichen Experten unterstuetzen, sind eine sinnvolle Alternative  zu
vollautomatischen  Expertensystemen.  Solche  Umgebungen  verbinden  die
intellektuellen  Faehigkeiten  des  Experten  mit   den   Moeglichkeiten
moderner   Arbeitsplatzrechner,   Daten   zu   verwalten   und   visuell
darzustellen.  Bei  dieser  Zusammenarbeit  von  Mensch   und   Maschine
uebernimmt der Experte die  kreative  Rolle;  der  Computer  stellt  die
externen Hilfsmittel, die  zum  erfolgreichen  Problemloesen  durch  den
Menschen notwendig sind, bereit.

"Visual Prolog" ist eine  Umgebung,  die  eigens  fuer  das  interaktive
Problemloesen  konzipiert  wurde.  Die  Benuetzer  von  "Visual  Prolog"
formulieren zuerst ein Modell ihres Anwendungsgebietes, dann stellen sie
die Objekte, die in einem konkreten Problem vorkommen, bildlich dar  und
arbeiten mit ihnen, indem  sie  grafische  Symbole  auf  dem  Bildschirm
manipulieren.  Das  Modell   des   Anwendungsgebietes   ist   in   einem
objektorientierten Formalismus, der  auf  der  Sprache  Prolog  aufbaut,
beschrieben. Es bestimmt das korrekte Verhalten eines Objekts  in  allen
Situationen und garantiert, dass seine visuelle Darstellung  mit  seinem
internen Zustand uebereinstimmt. Objekte koennen  mit  prozeduralem  und
deklarativem Wissen, welches den Benuetzern bei der Loesung des Problems
hilft, ausgestattet werden.

Das Objektsystem von "Visual Prolog" nutzt die  positiven  Merkmale  von
Prolog voll aus. Dazu gehoert die Eigenschaft  der  interaktiven  Prolog
Umgebung, Fragen der Benuetzer im Dialog zu beantworten, aber  auch  die
Faehigkeit, Wissen in einer symbolischen,  vom  Menschen  lesbaren  Form
darzustellen. Der  wichtigste  Nachteil  konventioneller  Prologsysteme,
naemlich das Fehlen jeglicher Struktur in der Datenbank aus  Fakten  und
Regeln, wird durch die Unterstuetzung von Klassen- und Objekthierarchien
ausgeglichen.  Beide  Hierarchien  koennen  mit  grafischen   Werkzeugen
untersucht werden.

Eine  schluesselfertige   Klassenbibliothek   enthaelt   die   komplette
Infrastruktur, die zur Visualisierung und zur  interaktiven  Bearbeitung
der Objekte benoetigt wird. Die Klassen, die im Modell  definiert  sind,
erben ihr visuelles Verhalten von den Klassen dieser Bibliothek. Dadurch
kann  sich  das  Modell  auf  die  Darstellung   des   Anwendungswissens
beschraenken, und muss sich nicht  um  die  Einzelheiten  der  visuellen
Benuetzerschnittstelle kuemmern.

For more information:
   Markus Fromherz                      Tel.:   +41-1-257 4313 / 4311
   Institut fuer Informatik             E-Mail: fromherz@ifi.unizh.ch
   Universitaet Zuerich-Irchel
   Winterthurerstrasse 190
   CH-8057 Zuerich
************************************************************************