This repository has been archived on 2023-07-19. You can view files and clone it, but cannot push or open issues or pull requests.
2017-11-17 15:26:52 +01:00
|
|
|
|
# Known Issues
|
|
|
|
|
|
|
|
|
|
## Parser
|
|
|
|
|
|
|
|
|
|
- multiple PDDL features are not yet supported (see list of PDDL features supported by `plasp`)
|
|
|
|
|
- several error messages obtained with syntax errors are misleading
|
|
|
|
|
|
|
|
|
|
## Translator
|
|
|
|
|
|
|
|
|
|
- in compatibility mode, the outdated `vars` sections within action definitions are handled just like `parameters`, which is semantically incorrect
|
|
|
|
|
- equality expressions currently partly supported by parser but not the translator
|
|
|
|
|
|
|
|
|
|
## ASP Output Format
|
|
|
|
|
|
|
|
|
|
- SAS axiom rules and `plasp`’s derived predicates (obtained through normalization) are semantically similar, but differently represented
|
|
|
|
|
|
|
|
|
|
## Encodings
|
|
|
|
|
|
2017-11-17 15:52:25 +01:00
|
|
|
|
- the [simple example encoding](encodings/sequential-horizon.lp) does not SAS axiom rules
|
2017-11-17 15:26:52 +01:00
|
|
|
|
- [multiple encodings](encodings/outdated) are outdated and need to be adapted to the output format introduced with `plasp` 3.1.0
|