Action description language

From Wikipedia, the free encyclopedia

 This article does not cite any references or sources. (July 2007)
Please help improve this article by adding citations to reliable sources. Unverifiable material may be challenged and removed.
This article may require cleanup to meet Wikipedia's quality standards.
Please improve this article if you can. (July 2007)

Action description language (ADL) is a planning system in particular for robots. It is considered an 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 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

Consider the problem of air freight transport, where 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 Ais.

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))
Languages