Diskussion:Action Description Language

Ich würde diesen Stub gerne in eine Weiterleitung umwandeln. Die Frage ist nur: wohin? Prinzipiell wäre ein Artikel "Planung (Informatik)" angebracht. Der existiert allerdings noch nicht, und ich habe ihn mangels Material auch nicht angelegt. Man muss ja nicht einen Stub durch den nächsten ersetzen. Vielleicht wäre am ehesten der Abschnitt "Optimierungsmethoden" des Artikels Künstliche Intelligenz zu erweitern. Dort kann man ADL, STRIPS usw. erwähnen. Was meint ihr? --Cinymini 01:17, 24. Okt 2004 (CEST)

Inkorrektes Beispiel und fehlende Angaben

Ich beschäftige mich zurzeit etwas intensiver mit der Planungssprache ADL und musste feststellen, dass die Informationen auf dieser Seite nicht korrekt sind. Das Beispiel wurde dem Buch, welches als Quelle angegeben wurde, entnommen, bezieht sich jedoch auf eine einfache Version von PDDL und nicht ADL. Korrekte Beispiele finden sich in den Originalquellen zu ADL. (z.B. Pednault, Edwin P.D. (1994). "ADL and the State-Transition Model of Action" in: Journal of Logic and Computation 4 (5). Seiten 467-512. Oxford Journals.) Dort haben korrekt klassifizierte ADL-Aktionen die Form:

Aktionsname(x,y)

Precond: Die Vorbedingungen für die Aktion, z.B. x = y, LiegtAuf(y,x) etc.

Add: Die Menge an Literalen, die nach Ausführung der Aktion hinzugefügt werden (zum Zustand der Welt), z.B. LiegtAuf(x,y)

Delete: Die Menge an Literalen, die nach Ausführung der Aktion entfernt werden, z.B. LiegtAuf(y,x)

Update: Hier kommen alle Funktionen hin, die sich durch diese Aktion in ihrem Verhalten verändern, z.B. succ(x) <- x+1

Wie man sieht, sind in ADL auch Funktionen definierbar, die man entsprechend auch in den Vorbedingungen nutzen kann. Es sollte vielleicht auch mal erwähnt werden, dass die Sprache von Edwin P.D. Pednault entwickelt wurde.

Ich bin mir auch nicht sicher, inwiefern die Angabe mit der "offenen Welt" stimmt. Pednault erwähnt derartiges nicht in seiner Ausführung, zumal es den Planungsalgorithmus, der auf der Sprache läuft, wohl eh nicht verändern würde. -- Youkichirou (Diskussion) 13:05, 14. Apr. 2012 (CEST)