Database Reference
In-Depth Information
ZIEL
ON(A,B)
ON(B,C)
ON(A,B)
ON(B,C)
STACK(A,B)
STACK(B,C)
CLEAR(A) ONTABLE(A) CLEAR(B)
CLEAR(B) CLEAR(C) ONTABLE(B)
CLEAR(A)
ONTABLE(C)
UNSTACK(C,A)
ON(C,A)
CLEAR(C)
ON(C,A)
ONTABLE(A)
CLEAR(B)
CLEAR(C)
ONTABLE(B)
START
Abbildung 11.16
Nichtlinearer Plan zur Losung der Sussman-Anomalie (Forts.)
Um diesen Konflikt zu losen, muss deshalb
STACK(A,B)
nach
STACK(B,C)
erfolgen.
Damit ist immer noch keine Reihenfolge zwischen
STACK(B,C)
und
UNSTACK(C,A)
festgelegt; da jedoch
STACK(B,C)
die Vorbedingung
CLEAR(C)
von
UNSTACK(C,A)
bedroht, muss zur Losung dieses Konflikts
STACK(B,C)
nach
UNSTACK(C,A)
erfolgen. Das Einfugen dieser Reihenfolgebedingungen in den Plan
in Abbildung 11.16 lasst dann nur noch den Plan [
UNSTACK(C,A)
,
STACK(B,C)
,
STACK(A,B)
] zu, der das gegebene Problem in (optimaler) Weise lost.
Nichtlineares Planen mit partiell geordneten Operatoren wurde erstmals in