patrick/plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

Minor clarification in the documentation concerning action sequences.

Browse Source
This commit is contained in:
Patrick Lühne 2016-08-14 15:45:55 +02:00
parent 491454ca3c
commit 2363f42bc9
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
doc/output-format.md
View File

@ -6,7 +6,7 @@
Essentially, `plasp`’s output format consists of [state variables](#variables) that are modified by [actions](#actions) if their preconditions are fulfilled. Essentially, `plasp`’s output format consists of [state variables](#variables) that are modified by [actions](#actions) if their preconditions are fulfilled.
Variables reference [entities](#constants-objects) that are affected by the actions. Variables reference [entities](#constants-objects) that are affected by the actions.
As with PDDL, the objective is to achieve a specified [goal](#goal) starting from an [initial state](#initial-state). As with PDDL, the objective is to achieve a specific [goal](#goal) starting from an [initial state](#initial-state) by executing a sequence of actions.
`plasp`’s variables correspond to the multivalued variables in SAS. `plasp`’s variables correspond to the multivalued variables in SAS.
PDDL predicates are turned into Boolean variables to make the output format consistent. PDDL predicates are turned into Boolean variables to make the output format consistent.