Action description language
From Wikipedia, the free encyclopedia
The Action Description LANGUAGE (ADL) is a planning system in particular for robots.It is considered as advancement of STRIPS.
The sense of a planning language is it to represent certain conditions in the environment and on it based automates a succession from actions to to determine, which lead to a desired goal. A goal is thereby a certainly partial spezifierter condition. So that an action can be implemented, certain preconditions must be fulfilled; after the execution the action has effects, by which the environment changes. The environment is described thereby by means of certain descriptors, which either fulfilled or fulfilled are not.
Contrary to STRIPS the principle of the "open world" applies with ADL: Which does not occur in the condition, is unknown. In addition also negative literal ones and disjunctions are permitted.
[edit] Example
As example one can understand oneself the problem of the air freight transport, in the case of which certain goods must be transported from an air port by airplane to another airport and which airplanes in each case loading and unloading to become to have. The necessary actions would be loading, unloading and flying; over the descriptors one could express In(c , p) and Bei(x, a) whether a freight C is in an airplane p and whether an object x at an airport A is.
The actions could be defined then as follows:
Action(Beladen(c: Freight, p: Airplane, A: Airport), Vorbed: Bei(c, A) ^ Bei(p, A) effect: ¬Bei(c, A) ^ In(c, p))
Action(Entladen(c: Freight, p: Airplane, A: Airport), Vorbed: In(c, p) ^ Bei(p, A) effect: Bei(c, A) ^ ¬In(c, p))
Action(Fliegen(p: Airplane, of: Airport, too: Airport), Vorbed: Bei(p, of) ^ (of? too) effect: ¬Bei(p, of) ^ Bei(p, too))
Of [1]