Nächste Seite: Prozeduren
Aufwärts: GOLOG
Vorherige Seite: GOLOG
  Inhalt
Damit in GOLOG komplexe Aktionen definiert werden können, werden neue Symbole
wie while oder if als Abkürzungen für logische Ausdrücke des
Situationskalküls eingeführt. Eine solche Abkürzung ist ebenfalls
,
wobei eine komplexe Aktion ist. Dieses besagt, daß
es möglich ist von der Situation durch die von beschriebene
Aktionssequenz in Situation zu gelangen, also .
beschreibt eine primitive Aktion. Die Struktur wird induktiv über das erste
Argument aufgelöst.
- primitive Aktion
beschreibt alle funktionalen Fluenten der Situation , die
durch die Aktion beeinflußt werden.
- Sequenz
- Testaktion
beschreibt einen Pseudofluenten, also keine Formel des Situationskalküls.
ist kein Ausdruck des Situationskalküls, denn es werden alle Situationsargumente
unterdrückt. bezeichnet die Situationskalkül-Formel, die aus
der Variable gebildet wird, indem sie die Situationsvariable
als das unterdrückte Situationsargument für alle Fluentennamen (relational und
funktional), die in erwähnt werden, wieder herstellt.
Beispiel: Wenn als
beschrieben ist, dann bedeutet
- Nichtdeterministische Wahl zwischen zwei Aktionen
- Nichtdeterministische Wiederholung
Die Aktion
wird keinmal, einmal oder mehrmals wiederholt.
Obige Formel beschreibt, daß man durch von nach
kommt, wenn in jeder, also auch der kleinsten Menge vorkommt.
Die Definition nutzt dabei aus, daß gilt:
(a) ist in der Menge und
(b) wenn in der Menge ist und
gilt, dann ist auch
in der Menge.
- Nichtdeterministische Auswahl eines Objekts
- Deterministische Verzweigung
if then else endIf :=
- Deterministische Wiederholung
while do endWhile :=
Beispiele:
- Einen Brief vom Tisch nehmen und zum Postbüro bringen
- Alle Briefe vom Boden auf den Tisch legen
Nächste Seite: Prozeduren
Aufwärts: GOLOG
Vorherige Seite: GOLOG
  Inhalt
2001-01-04