From 3e2adf6db4c4aef9210077c23378d5ee9db444e9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Fri, 17 Nov 2017 15:26:52 +0100 Subject: [PATCH] =?UTF-8?q?Added=20=E2=80=9Cknown=20issues=E2=80=9D=20file?= =?UTF-8?q?.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- KNOWN-ISSUES.md | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 KNOWN-ISSUES.md diff --git a/KNOWN-ISSUES.md b/KNOWN-ISSUES.md new file mode 100644 index 0000000..5d8c343 --- /dev/null +++ b/KNOWN-ISSUES.md @@ -0,0 +1,20 @@ +# 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 + +- the [simple example encoding](encodings/sequential-horizon.lp) does not support layers of SAS axiom rules +- [multiple encodings](encodings/outdated) are outdated and need to be adapted to the output format introduced with `plasp` 3.1.0