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

Extended introduction to the documentation.

This commit is contained in:
Patrick Lühne 2016-08-14 15:44:14 +02:00
parent 562b2296e5
commit 491454ca3c
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
doc/output-format.md
View File

@ -4,7 +4,9 @@
## Overview ## Overview
Essentially, `plasp`’s output format consists of *variables* that are modified by *actions* whose 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.
As with PDDL, the objective is to achieve a specified [goal](#goal) starting from an [initial state](#initial-state).
`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.