From 2363f42bc9b86f41937e541635dd83f4f11f7056 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Sun, 14 Aug 2016 15:45:55 +0200 Subject: [PATCH] Minor clarification in the documentation concerning action sequences. --- doc/output-format.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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.