Plan4Past
Plan4Past copied to clipboard
whitemech
Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals
Fixed a small bug concerning the PDDL representation of the "true" predicate in the ADL compilation.
The function "predicates" of predicates visitor creates superfluous quoted "Y()" atoms. for example, the compilation of formula "O(a & Y(O(b & Y(O(c)))))" should yield the atoms: - 'Y-Oa-and-YOb-and-YOc' - 'Y-Ob-and-YOc'...
## Proposed changes After this commit, to specify the PPLTL formula, there is no need to provide an explicit mapping, since it is assumed that the propositions *are* the ground...
## Proposed changes Continuation of #262 from the new tip of the project (i.e. after #264).
Add status badges and logo to the README
Some optimizations could be implemented to get plan4past work faster. 1. As the compiler works on the syntactic structure of the PPLTL formula, a preprocessing to simplify the input formula...
Currently, the goal formula can only be specified as a string in the CLI tool and the library. We would like to have a more general and flexible approach. In...