diff --git a/doc/output-format.md b/doc/output-format.md index 917e99b..696fcc5 100644 --- a/doc/output-format.md +++ b/doc/output-format.md @@ -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. 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. PDDL predicates are turned into Boolean variables to make the output format consistent.