From 5c17d23606e0fd4204732f688c6fb74e4d945dc5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Sun, 14 Aug 2016 16:15:43 +0200 Subject: [PATCH] Added list of supported feature requirements. --- doc/feature-requirements.md | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 doc/feature-requirements.md diff --git a/doc/feature-requirements.md b/doc/feature-requirements.md new file mode 100644 index 0000000..9e426f9 --- /dev/null +++ b/doc/feature-requirements.md @@ -0,0 +1,22 @@ +# Feature Requirements + +Feature requirements are part of `plasp`’s [output format](output-format.md). +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](output-format.md#action-costs)) +`axiomRules` | immediate actions are used, which are executed as soon as the preconditions are satisfied (see [axiom rules](output-format.md#axiom-rules)) +`conditionalEffects` | some effects of an action may have additional conditions (see [actions](output-format.md#actions)) + +## Example + +The following specifies that the input problem has the two requirements `actionCosts` and `conditionalEffects`. + +```prolog +% requirements +requiresFeature(actionCosts). +requiresFeature(conditionalEffects). +```