Patrick Lühne
0f039f0837
Excluding derived variables from inertia.
...
In the example encoding, derived variables were accidentally included in
the inertia rule, as this only checked the position of the parameter.
This commit fixes this by only allowing common variables (and not
derived ones) within the inertia rule.
2017-11-17 17:43:44 +01:00
Patrick Lühne
9d04996b0a
Minor formatting.
...
This change doesn’t affect derived variables, because these aren’t
affected by the “caused” predicate (the “caused” predicate requires a
variable to be in the postcondition of an action, and these may never be
derived variables).
2017-11-17 17:34:16 +01:00
Patrick Lühne
b2280c155a
Fixed handling of goal in example encoding.
...
The example encoding assumed that derived predicates weren’t necessary
in the final time step. This is, however, incorrect, as the goal may
have a precondition that requires derived predicates. In this case, the
derived variables must be evaluated for the final time step.
2017-11-17 17:32:05 +01:00
Patrick Lühne
8ff87985f5
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.
2017-11-17 15:38:59 +01:00
efee22a655
introduced flat representation of transition constraints, activated by default w.r.t. the new constant _inertia
2017-11-01 13:58:04 +01:00
5e0c8a695c
new constant value '_parallel=0' to allow for parallel actions without checking mutual disablement
2017-10-05 20:24:59 +02:00
9ab1ea1c23
improved strips encodings
2017-08-09 12:12:39 +02:00
Patrick Lühne
8b232e0155
Updated sequential horizon-bound meta encoding to match new output format.
2017-06-28 16:41:31 +02:00
ff8dc0e85f
just stylistic change
2017-01-18 15:45:12 +01:00
1b94053542
revised redundant rules
2017-01-18 10:12:52 +01:00
d1f1f9230c
added predicate
2017-01-17 19:52:12 +01:00
59e95c7097
some refactoring
2017-01-17 17:15:21 +01:00
18f4a87dd7
slight modification
2017-01-17 13:31:34 +01:00
664762fdec
about to revise encodings
2017-01-17 10:12:37 +01:00
1458d93408
more parallel ''exists'' encoding variants
2017-01-16 17:15:19 +01:00
Patrick Lühne
91b2a23c78
Added a sequential, fixed-horizon meta encoding.
2016-11-20 23:52:55 +01:00
Patrick Lühne
c80688b241
Changed format of readme file for STRIPS encodings to Markdown.
2016-11-16 23:46:00 +01:00
b1e98bd091
README file summarizing functionalities and example invocations
2016-11-15 22:48:24 +01:00
367f49253e
finalizing redundant rules to restrict number of parallel plans
2016-11-15 21:16:01 +01:00
6f1a64a705
some restriction of instantiation
2016-11-15 19:34:07 +01:00
f12ac1c839
optional redundant rules to reduce the number of parallel plans
2016-11-15 18:57:52 +01:00
03c83702ad
postprocessing encoding checked
2016-11-15 09:07:36 +01:00
7f62503237
first version of postprocessing program to check plans and represent them sequentially
2016-11-14 18:36:01 +01:00
888f12d88d
completed main parallel planning encodings for STRIPS instances
2016-11-14 16:56:51 +01:00
b8357629a2
started to develop STRIPS encoding variants
2016-11-14 12:00:14 +01:00
Patrick Lühne
6842bff04b
Removed temporary directory.
2016-09-02 15:45:44 +02:00
Patrick Lühne
6bec233e23
Moved IPC 2000 Elevator example instances to instance directory.
2016-09-02 15:44:33 +02:00
Patrick Lühne
873ccef4ff
Moved IPC 2008 OpenStacks example instances to instance directory.
2016-09-02 15:44:12 +02:00
348bc32cef
generated some sas files from Rene's PDDL samples
...
- should be deleted later -
2016-08-28 21:00:05 +02:00
fcdb0b65c2
fixed bug: frame axiom only on true fluents
...
renamed modified by changed (more frequent naming)
2016-08-28 20:53:25 +02:00
0fb79d1268
just re-formatting
2016-08-26 18:21:33 +02:00
69757e50ac
fixed bug in conditional effects
...
- still one test screwing up -
2016-08-26 18:00:33 +02:00
7dfe760285
PRELIMINARY version of an encoding for sequential SAS planning
...
featuring: axioms and conditional effects
(extending Patrick's basic multi-valued encoding)
2016-08-23 18:31:33 +02:00
d7b8cec50d
simple fixed horizon-based encoding for sequential PDDL planning
2016-08-23 11:51:03 +02:00
92f3018b89
first throw at PDDL specifc encoding for sequential planning using Boolean fluents only
2016-08-22 22:35:35 +02:00
Patrick Lühne
7bd483cd7e
Added rule to PDDL translator output to make all unspecified initial state variables false by default.
2016-08-17 19:02:51 +02:00
Patrick Lühne
676dc44619
Updated meta encoding to new feature requirement format.
2016-08-15 18:24:51 +02:00
Patrick Lühne
9c3cfe8f7b
Dropped »meta« prefix of encoding file because there will only be meta encodings.
2016-08-13 11:10:29 +02:00
Patrick Lühne
d4c168af30
Unified SAS and PDDL meta encodings.
2016-08-13 11:09:35 +02:00
Patrick Lühne
f2d3aee662
Updated PDDL meta encoding to recent changes of output format.
2016-08-13 11:09:35 +02:00
Patrick Lühne
8be67e7065
Updated SAS meta encoding to recent changes of output format.
2016-08-13 01:49:00 +02:00
Patrick Lühne
7899d3e262
Added simple encoding for translated PDDL instances.
2016-06-13 03:48:04 +02:00
Patrick Lühne
6b88cb7926
Renamed SAS → ASP encoding for clarity.
2016-06-13 03:32:58 +02:00
Patrick Lühne
bf6300f36b
Made SAS translator output format contain less IDs.
2016-05-24 01:42:15 +02:00
Patrick Lühne
3a2dfd97b8
Added conditional effect support for SAS translator output.
2016-05-23 18:16:44 +02:00
Patrick Lühne
05058c149e
Added axiom rule support for SAS translator output.
2016-05-23 17:13:11 +02:00
Patrick Lühne
a5fd698888
Added action costs support for SAS translator output.
2016-05-23 16:57:12 +02:00
Patrick Lühne
c90d5b1d72
Added mutex groups and variable uniqueness back to the meta encoding.
2016-05-23 16:45:55 +02:00
Patrick Lühne
4c6c739060
Changed SAS translator output format once more to make it even closer to the SAS format.
2016-05-23 16:28:06 +02:00
Patrick Lühne
5db8af9ffc
Fixed meta encoding for sequential, incremental planning.
2016-05-23 00:24:48 +02:00
Patrick Lühne
mgebser