Message3316

Author patrik
Recipients malte, patrik
Date 2014-08-16.03:28:28
Content
FD reports attached problem unsolvable, but it has a valid plan. It seems that
the cause of this is an incorrect computation of the derived predicates. In the
second state (after applying the single action in plan), all the derived
predicates are true, which they should not be. (Also attaching fd-val, which I
used to check this; unfortunately, it doesn't print anything about axiom
evaluation.)

I have not checked if the axioms in the translated SAS file are correct.
Files
File name Uploaded
disjunction.pddl patrik, 2014-08-16.03:28:28
History
Date User Action Args
2014-08-16 03:28:29patriksetrecipients: + patrik, malte
2014-08-16 03:28:28patriksetmessageid: <1408152508.97.0.518025814382.issue453@unibas.ch>
2014-08-16 03:28:28patriklinkissue453 messages
2014-08-16 03:28:28patrikcreate