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

Updated documentation to changes of axiom rule output format.

Browse Source
This commit is contained in:
Patrick Lühne 2016-08-15 16:48:17 +02:00
parent ef57f27c6a
commit e0a15849df
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

@ -190,12 +190,14 @@ axiomRule(axiomRule(<number>)).
precondition(<axiom rule>, <variable>, <value>). precondition(<axiom rule>, <variable>, <value>).
% defines that after applying <axiom rule>, <variable> is assigned <value> % defines that after applying <axiom rule>, <variable> is assigned <value>
postcondition(<axiom rule>, <variable>, <value>). postcondition(<axiom rule>, effect(unconditional), <variable>, <value>).
``` ```
Axiom rules are similar to [actions](#actions) in that they modify [variables](#variables) if certain preconditions are satisfied. Axiom rules are similar to [actions](#actions) in that they modify [variables](#variables) if certain preconditions are satisfied.
However, axiom rules must be applied *immediately* as soon as their preconditions are satisfied. However, axiom rules must be applied *immediately* as soon as their preconditions are satisfied.
The second argument of `postcondition`, `effect(unconditional)`, is not used and exists only for consistency with [actions](#actions).
Axiom rule facts are only present with SAS input programs and not PDDL. Axiom rule facts are only present with SAS input programs and not PDDL.
Axiom rules contain essential information in order to find plans correctly. Axiom rules contain essential information in order to find plans correctly.