Issue534

Title grounding buggy when the same variable is used multiple times in the same atom
Priority bug Status resolved
Superseder Nosy List haz, malte
Assigned To malte Keywords translator
Optional summary

Created on 2015-05-25.11:54:02 by malte, last changed by haz.

Files
File name Uploaded Type Edit Remove
bad-taxi-domain.pddl haz, 2015-05-25.12:18:19 application/octet-stream
bad-taxi-problem.pddl haz, 2015-05-25.12:18:36 application/octet-stream
Messages
msg4221 (view) Author: haz Date: 2015-05-25.12:18:36
Attaching the problem file...
msg4220 (view) Author: haz Date: 2015-05-25.12:18:19
Attaching the example domain that caused the problem. The issue is with the 
grounding of the drive action (a passenger should not be allowed to drive a 
taxi), and most generated plans will not validate because of this bad 
grounding. I left the other actions in so the problem remained solvable.
msg4219 (view) Author: malte Date: 2015-05-25.11:59:42
Fixed.
msg4218 (view) Author: malte Date: 2015-05-25.11:59:28
Christian, I'd like to attach your example domain/problem file (in the version
with the rewritten type system) as a test case for this, but I'm not 100% sure
if it's OK to share them publicly. If it is, it would be great if you could
attach them, or just let me know and I can do it.
msg4217 (view) Author: malte Date: 2015-05-25.11:54:01
The handling of atoms like "P(?x, ?y, ?x)" where the same variable occurs
multiple times in one atom is broken.
History
Date User Action Args
2015-05-25 12:18:36hazsetfiles: + bad-taxi-problem.pddl
messages: + msg4221
2015-05-25 12:18:19hazsetfiles: + bad-taxi-domain.pddl
messages: + msg4220
2015-05-25 11:59:42maltesetmessages: + msg4219
2015-05-25 11:59:33maltesetstatus: chatting -> resolved
2015-05-25 11:59:28maltesetstatus: in-progress -> chatting
messages: + msg4218
2015-05-25 11:54:02maltecreate