Nächste Seite: Sensing
Aufwärts: Erweiterungen von GOLOG
Vorherige Seite: Exogene Ereignisse
  Inhalt
Der für ConGOLOG verwendete Interpreter arbeitet offline, d.h. es muß
eine vollständige Sequenz legaler Aktionen gefunden werden, bevor die erste
Aktion ausgeführt werden kann. Dies kann bei langen Programmen zu Problemen
führen. Als Beispiel sei an dieser Stelle ein Programm mit nichtdeterministischer
Auswahl zwischen und beschrieben:
Es folgt ein beliebiges Programm und eine Testaktion .
Bevor eine der Aktionen oder ausgeführt werden kann, muß der
Interpreter alle Möglichkeiten von betrachten und bestimmen,
welche der beiden Aktionen eventuell wahr macht. Um diesen Nachteil
einzuschränken, aber trotzdem Nichtdeterminismus zuzulassen, muß eine Art lokale
Bedingung eingeführt werden. Ein einfaches Einfügen einer solchen Bedingung
reicht nicht aus, da der Interpreter immer noch nicht in der Lage ist,
oder auszuführen, selbst wenn erfüllt ist. Aus diesen
Gründen wird die Verarbeitungsart auf eine online Ausführung umgestellt,
damit entweder oder direkt ausgeführt werden kann und erst
danach mit fortgefahren wird. Um dieses zu ermöglichen, wird
der sogenannte Search-Operator eingeführt.
,
wobei ein beliebiges Programm ist, kann dann als offline Betrachtung
von angesehen werden, bei der nach einem gültigen Zustand gesucht
wird. Obiges Problem kann damit folgendermaßen beschrieben werden:
Der Interpreter würde zunächst nach einem oder suchen, welches
erfüllt, dieses sofort ausführen und dann mit dem Restprogramm
fortfahren. Eine bisherige offline Betrachtung für ein könnte
durch
simuliert werden. Die Umsetzung erfolgt mit Hilfe
von und :
Nächste Seite: Sensing
Aufwärts: Erweiterungen von GOLOG
Vorherige Seite: Exogene Ereignisse
  Inhalt
2001-01-04