Requirements (PDDL 2.2)

Contributors: Adam Green,

The following page offers details of requirements defined in PDDL 2.2.

Derived Predicates

Support: Medium

Usage: Low

    (:requirements :derived-predicates)

Allows the usage of derived predicates in domains. e.g.

(:derived (train-usable ?t - train)
    (and
        (train-has-guard ?t)
        (train-has-driver ?t)
    )
)

Timed Initial Literals

Support: Medium

Usage: Medium

    (:requirements :timed-initial-literals)

Allows the use of Timed Initial Literals when defining problems. e.g.

    (at 10 (train-not-in-use t1))