Folien zur Vorlesung - Hochschule Ravensburg-Weingarten
Folien zur Vorlesung - Hochschule Ravensburg-Weingarten
Folien zur Vorlesung - Hochschule Ravensburg-Weingarten
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Lösung des Frame-Problems in PDDL<br />
Closed World Assumption:<br />
Was nicht angegeben ist, ist nicht wahr<br />
Nicht-Effekte von Aktionen müssen nicht definiert werden<br />
→ Logik ist nichtmonoton<br />
Beispiel: Pinguin Tweety und Rabe Abraxas.<br />
(RABE abraxas)<br />
(WHEN (RABE ?X) (VOGEL ?X))<br />
(PINGUIN tweety)<br />
(WHEN (PINGUIN ?X) (VOGEL ?X))<br />
(WHEN (AND (VOGEL ?X) (NOT (PINGUIN ?X))) (FLIEGEN ?X))<br />
Nur mit der Closed World Assumption folgt: FLIEGEN(abraxas)<br />
Lösung des Frame-Problems in PDDL (formal)<br />
Ein Plan ist ein Paar 〈O,