This repository has been archived on 2023-07-19. You can view files and clone it, but cannot push or open issues or pull requests.
plasp/doc/feature-requirements.md

879 B
Raw Permalink Blame History

Feature Requirements

Feature requirements are part of plasps output format. Currently, plasp detects feature requirements only for SAS problems.

plasp supports the following feature requirements:

SAS feature description
actionCosts actions have associated costs (see action costs)
axiomRules immediate actions are used, which are executed as soon as the preconditions are satisfied (see axiom rules)
conditionalEffects some effects of an action may have additional conditions (see actions)

Example

The following specifies that the input problem has the two requirements actionCosts and conditionalEffects.

% requirements
requiresFeature(actionCosts).
requiresFeature(conditionalEffects).