Defaults in deduktiven Datenbanken

64 KAPITEL 3. ANWENDUNGSBEISPIELEAndererseits ist wohl eine wesentlich reichere Typstruktur wünschenswert, wie sie insbesonderevon der F-Logik [KLW90] geboten wird. Schließlich haben Objekte auch nocheinen inneren Zustand, der über Änderungsoperationen modifiziert werden kann.3.3 Formalisierung von ÄnderungsoperationenEine wichtige Anwendung von Defaults ist auch die Formalisierung der Rahmenregel beiÄnderungsoperationen. Normalerweise wird nur explizit angegeben, was sich bei derAusführung einer Aktion ändert. Man geht dann davon aus, daß alles andere unverändertbleibt. Oft läßt sich aber nicht einfach syntaktisch feststellen, was genau alles andere“”ist. Zusätzliche Schwierigkeiten treten bei nichtdeterministischen Aktionen auf, derenNachbedingung also Disjunktionen enthält. Die naheliegende Lösung ist nun, einen Defaultder Art alles bleibt, wie es ist“ zu verwenden. Auf diese Weise erzwingt man, daß”nur eine minimale Änderung durchgeführt wird, um die Aktions-Spezifikation zu erfüllen.ZustandsübergängeBeispiel 3.3.1: Als Beispiel sei ein rudimentäres Abenteuerspiel betrachtet. DiesesSpiel hat nur zwei ”Räume“: einen Wald und eine Höhle (richtige Spiele haben etwa100 Räume). Die Aufgabe ist nun, im Wald den Honig zu nehmen und damit den Bärenin der Höhle zu füttern. Ein Zustand des Spiels ist also durch die Information beschrieben,• in welchem Raum sich der Spieler befindet (Wald oder Höhle),• wo sich der Honig befindet (möglicherweise in der Tasche des Spielers),• ob der Bär noch hungrig ist.Der Spieler kann den Zustand nun durch seine Züge verändern, so kann er etwa mit denKommandos ”gehe nach Norden“ und ”gehe nach Süden“ zwischen den beiden Räumenwechseln, er kann den Honig nehmen und den Bär füttern (gute Abenteuerspiele habeneinen Wortschatz von über 1000 Worten).Beispielsweise sei die Operation ”nimm den Honig“ zu spezifizieren. Die Vorbedingungist, daß sich der Spieler im selben Raum wie der Honig befindet:in(spieler, X) ∧ in(honig, X).Die Nachbedingung ist, daß der Spieler den Honig in seiner Tasche hat:in(honig, tasche).Solche Vor- und Nachbedingungen lassen sich einfach in die Prädikatenlogik übersetzen,wenn man jedes Prädikat verdoppelt (eine Version für den Vorzustand und eine für denNachzustand, siehe auch [Ger91]). Das Kommando ”nimm den Honig“ hat also folgendeAuswirkung:in old (spieler, X) ∧ in old (honig, X) → in new (honig, tasche).