Geschichte und Anwendungen - Hochschule Niederrhein

Wissensbasierte Systeme Geschichte und Anwendungen Anwendungen 126 / 219
Planen mit Situationslogik
Rahmenproblem:
Schwierigkeit, die Gültigkeit von Formeln auf die nachfolgende
Situation zu übertragen.
Lösung: Rahmenaxiome beschreiben genau, was durch eine
Operation nicht verändert wird.
Beispiel: pickup(x)
Zwei Blöcke, die durch die pickup-Operation nicht bewegt
wurden, sind immer noch aufeinander:
upon(x,y,s) ∧ x ≠ u ⇒ upon(x,y,do(pickup(u),s))
Ein Block befindet sich immer noch auf dem Tisch, wenn er
durch die pickup-Operation nicht bewegt wurde:
onTable(x,s) ∧ x ≠ u ⇒ onTable(x,do(pickup(u),s))
Die Formulierung in Prädikatenlogik ist in der Praxis zu
ineffizient: Sehr viele Rahmenaxiome beschreiben sehr viele
(scheinbar redundante) Fakten, die erhalten bleiben.