Title simplify axioms
Priority wish Status chatting
Superseder Nosy List malte
Assigned To Keywords translator
Optional summary

Created on 2010-12-17.16:19:21 by malte, last changed by malte.

File name Uploaded Type Edit Remove
all.groups malte, 2010-12-17.16:19:51 application/octet-stream
domain.pddl malte, 2010-12-17.16:19:20 application/octet-stream
output malte, 2010-12-17.16:20:03 application/octet-stream malte, 2010-12-17.16:19:36 application/octet-stream
problem.pddl malte, 2010-12-17.16:19:29 application/octet-stream
test.groups malte, 2010-12-17.16:19:46 application/octet-stream
msg3284 (view) Author: malte Date: 2014-08-08.11:57:06
There are many more examples of cases with simplifiable axioms in issue335. In
particular, we should test mst.pddl + mst2.pddl and cntr-domain.pddl +
msg888 (view) Author: malte Date: 2010-12-17.16:19:20
The translator generates some axioms and derived variables that are not very
useful. For example, in the attached problem, with the current translator
version (translator and preprocessor output files attached), axiom variable "2"
is always true, since it has exactly one triggering rule, which sets it from 0
to 1 with an empty body. Quoting from "output":

2 1 0

We could simplify this by getting rid of
 * derived variables that are constants and
 * derived variables that are equivalent to other facts

Once we've systematically got rid of derivation rules with an empty body, we can
also simplify the axiom evaluation code which currently has to special-case
axioms with empty bodies. If we compile empty bodies away, we can replace this
special-case code with an assertion that the body is not empty.
Date User Action Args
2014-10-04 19:52:04maltesetkeyword: + translator
2014-08-08 11:57:06maltesetmessages: + msg3284
2010-12-17 16:20:03maltesetfiles: + output
2010-12-17 16:19:51maltesetfiles: + all.groups
2010-12-17 16:19:46maltesetfiles: + test.groups
2010-12-17 16:19:36maltesetfiles: +
2010-12-17 16:19:29maltesetfiles: + problem.pddl
2010-12-17 16:19:21maltecreate