资 源 简 介
ANML is being developed to combine the strengths of several existing modeling languages: AML, NDDL, and PDDL are the strongest influences.
Features:
1) Clean temporal semantics, with point conditions and effects (in addition to intervals). [NDDL, IxTeT]
2) Action/State based (contrast with NDDL)
2a) Arbitrary internal and delayed access to time
2b) Resource effects, including temporary change
2c) An interval change (:->) operator (see TGP below)
3) User definable types
3a) Including structured types (vectors/arrays and objects)
3b) And inheritance (for object and symbolic types)
3c) Primitives: Symbol, Boolean, Float/Real, Integer, Character
Note: Only the first one/two/three primitive types are traditionally accepted by planning systems
4) Chainable fluent access, aiming at modeling continuous processes:
all loc == alpha :-> beta;
means
start loc == alpha;
( all ] loc :->