Example
Consider the problem of air freight transport, where certain goods must be transported from an airport to another airport by plane and where airplanes need to be loaded and unloaded.
The necessary actions would be loading, unloading and flying; over the descriptors one could express In(c, p) and At(x, a) whether a freight C is in an airplane p and whether an object x is at an airport A.
The actions could be defined then as follows:
Action ( Load (c: Freight, p: Airplane, A: Airport) Precondition: At(c, A) ^ At(p, A) Effect: ¬At(c, A) ^ In(c, p) ) Action ( Unload (c: Freight, p: Airplane, A: Airport) Precondition: In(c, p) ^ At(p, A) Effect: At(c, A) ^ ¬In(c, p) ) Action ( Fly (p: Airplane, from: Airport, to: Airport) Precondition: At(p, from) Effect: ¬At(p, from) ^ At(p, to) )Read more about this topic: Action Description Language
Famous quotes containing the word example:
“Our intellect is not the most subtle, the most powerful, the most appropriate, instrument for revealing the truth. It is life that, little by little, example by example, permits us to see that what is most important to our heart, or to our mind, is learned not by reasoning but through other agencies. Then it is that the intellect, observing their superiority, abdicates its control to them upon reasoned grounds and agrees to become their collaborator and lackey.”
—Marcel Proust (1871–1922)