Geschichte und Anwendungen - Hochschule Niederrhein
Geschichte und Anwendungen - Hochschule Niederrhein
Geschichte und Anwendungen - Hochschule Niederrhein
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
6 Beierle, Kern-Isberner: Methoden wissensbasierter Systeme. Vieweg, 2003.<br />
Wissensbasierte Systeme <strong>Geschichte</strong> <strong>und</strong> <strong>Anwendungen</strong> <strong>Anwendungen</strong> 124 / 219<br />
Planen mit Situationslogik 6<br />
Im Laufe der Zeit ändern die Aktionen unstack, stack,<br />
pickup <strong>und</strong> putdown die Welt.<br />
Der Wahrheitswert von Aussagen wie onTable(A) ändert sich<br />
<strong>und</strong> ist abhängig von der aktuellen Situation.<br />
Prädikate, die Merkmale des Problembereichs beschreiben,<br />
erhalten als letztes Argument die Situation, auf die sich die<br />
Aussage bezieht.<br />
Die Konstante S0 bezeichnet die initiale Situation.<br />
Es gibt ein spezielles Funktionssymbol do, das aus einer Aktion<br />
a <strong>und</strong> einer Situation s eine neue Situation do(a,s) bildet.<br />
do(stack(B,A),do(stack(A,C),do(unstack(B,C),S0)))<br />
bezeichnet die Situation, die aus der initialen Situation durch<br />
Anwenden der Aktionsfolge [unstack(B,C), stack(A,C),<br />
stack(B,A)] entsteht.<br />
Man nennt eine Situation auch Historie.