Moved outdated encodings to separate directory.

These encodings need to be updated to match the new output format. Until
this is done, hide these files in a separate directory in order not to
confuse users.
This commit is contained in:
Patrick Lühne 2017-11-17 15:15:20 +01:00
parent 9fde2b8e1b
commit 8ff87985f5
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
5 changed files with 5 additions and 7 deletions

View File

@ -31,11 +31,11 @@ plasp translate output.sas
### Solving the Translated Instance
The translated instance can finally be solved incrementally with `clingo` and a meta encoding, for instance, [`sequential-incremental.lp`](encodings/sequential-incremental.lp):
The translated instance can finally be solved with `clingo` and a meta encoding, for instance, [`sequential-horizon.lp`](encodings/sequential-horizon.lp):
```sh
plasp translate domain.pddl problem.pddl > instance.lp
clingo encodings/sequential-incremental.lp instance.lp
clingo encodings/sequential-horizon.lp -c horizon=10 instance.lp
```
### Translator Output Format
@ -43,7 +43,7 @@ clingo encodings/sequential-incremental.lp instance.lp
`plasp translate` provides a uniform output format for SAS and PDDL input problems.
See [output format](doc/output-format.md) for more details.
If you want to write your own meta encoding for `plasp translate`s output, this [simple example encoding](encodings/sequential-incremental.lp) gets you started.
If you want to write your own meta encoding for `plasp translate`s output, this [simple example encoding](encodings/sequential-horizon.lp) gets you started.
## Provided Tools

View File

@ -25,4 +25,3 @@ goalAt(T) :- holds(variable(Variable),T) : goal(variable(Variable), value(Va
#show occurs/2.
% #show holds/2.

View File

@ -28,4 +28,3 @@ goalAt(t) :- holds(variable(Variable),t) : goal(variable(Variable), value(Va
#show occurs/2.
% #show holds/2.

View File

@ -22,7 +22,7 @@ stateVariable(Variable) :- headVariable(_,Variable).
% Apply effects
caused(Variable, Value, t) :- occurs(Action, t), postcondition(Action, Effect, Variable, Value),
holds(Variable', Value', t - 1) : precondition(Effect, Variable', Value').
holds(Variable', Value', t - 1) : precondition(Effect, Variable', Value').
changed(Variable, t) :- caused(Variable, Value, t).
holds(Variable, Value, t) :- caused(Variable, Value, t).
@ -38,7 +38,7 @@ holds(Variable, Value, t) :- holds(Variable, Value, t - 1), not changed(Variable
% Apply axioms
derived(Variable, Value, t) :- axiomRule(Rule), postcondition(Rule,_,Variable,Value),
holds(Variable', Value', t) : precondition(Rule, Variable', Value'), not headVariable(Rule,Variable').
holds(Variable', Value', t) : precondition(Rule, Variable', Value'), not headVariable(Rule,Variable').
modified(Variable, t) :- derived(Variable, Value, t).