Nächste Seite: GOLOG
Aufwärts: Das Situationskalkül
Vorherige Seite: Eine Lösung des Rahmenproblems
  Inhalt
Fundamentale Axiome
-
-
-
-
, mit
steht für
-
Die erste Aussage ist ein induktives Axiom zweiter Ordnung, das nur solche Situationen
zuläßt, die durch Anwendung von Termen aus entstehen
können. Es wird also eine Baumstruktur mit den Situationen als
Knoten und den Aktionen als Übergänge definiert. Das zweite Axiom
sichert die Eindeutigkeit des Übergangs von nach
durch die Aktion . definiert eine geordnete Relation
über Situationen. Das dritte Axiom beschreibt also, daß es keine Vorgängersituation
vor der Situation gibt.
ist erfüllt, wenn
aus durch eine endliche Anzahl von Aktionen erreicht werden
kann. Zum Schluß gilt , wenn eine legale Sequenz ()
von Aktionen existiert, die von nach führt.
2001-01-04