Issue813

Title Translator doesn't error on non-existent objects
Priority wish Status chatting
Superseder Nosy List emilkeyder, malte, silvan
Assigned To Keywords translator
Optional summary
cross-references: issue472, issue215

Created on 2018-08-23.01:17:53 by emilkeyder, last changed by silvan.

Summary
cross-references: issue472, issue215
Messages
msg8143 (view) Author: silvan Date: 2018-12-03.11:59:39
Change to wish to be in line with other issues about PDDL errors. Emil, if this
is not addressed in a few months, feel free to ping us again.
msg7473 (view) Author: malte Date: 2018-09-16.12:16:51
cross-references: issue472, issue215
msg7472 (view) Author: malte Date: 2018-09-16.11:39:23
Emil's original message on the fast-downward mailing list with examples:

======================================================================================================

I've noticed that fast downward will silently ignore predicates on non-existent
objects and constants. For example, adding

(:init
...
(my-predicate no-such-object) 
...
)

will have no effect, and adding

(:goal
...
(my-predicate no-such-object) 
...
)

will result in an unsolvable problem rather than an error in the translator. Is
this intentional? If not, would it be hard to fix?
msg7349 (view) Author: malte Date: 2018-08-26.16:51:22
Adding the "translator" keyword and moving Emil's original message from the
summary field to the discussion:

===========================================================================

The translator doesn't raise an error when a 
predicate on a non-existent object is 
added to the initial state or goal. If it is 
added to the initial state, it is silently 
ignored, and if it is added to the goal state, 
the translator succeeds and search finds 
the state to be a dead end.

To reproduce, add e.g. (at no-such-ball no-
such-room) to either the init or goal 
states of gripper problem 1.
History
Date User Action Args
2018-12-03 11:59:39silvansetpriority: bug -> wish
nosy: + silvan
messages: + msg8143
summary: cross-references: issue472, issue215
2018-09-16 12:16:51maltesetmessages: + msg7473
2018-09-16 11:39:23maltesetmessages: + msg7472
2018-08-26 16:51:23maltesetstatus: unread -> chatting
messages: + msg7349
keyword: + translator
summary: The translator doesn't raise an error when a predicate on a non-existent object is added to the initial state or goal. If it is added to the initial state, it is silently ignored, and if it is added to the goal state, the translator succeeds and search finds the state to be a dead end. To reproduce, add e.g. (at no-such-ball no- such-room) to either the init or goal states of gripper problem 1. -> (no value)
2018-08-23 13:04:05maltesetnosy: + malte, emilkeyder
summary: The translator doesn't raise an error when a predicate on a non-existent object is added to the initial state or goal. If it is added to the initial state, it is silently ignored, and if it is added to the goal state, the translator succeeds and search finds the state to be a dead end. To reproduce, add e.g. (at no-such-ball no-such-room) to either the init or goal states of gripper problem 1. -> The translator doesn't raise an error when a predicate on a non-existent object is added to the initial state or goal. If it is added to the initial state, it is silently ignored, and if it is added to the goal state, the translator succeeds and search finds the state to be a dead end. To reproduce, add e.g. (at no-such-ball no- such-room) to either the init or goal states of gripper problem 1.
2018-08-23 01:18:23emilkeydersetsummary: The translator doesn't raise an error when a predicate on a non-existent object is added to the initial state or goal. If it is added to the initial state, it is silently ignored, and if it is added to the goal state, the translator succeeds and search finds the state to be a dead end. To reproduce, add e.g. (at no-such-ball no-such-room) to either the init and goal states of gripper problem 1. -> The translator doesn't raise an error when a predicate on a non-existent object is added to the initial state or goal. If it is added to the initial state, it is silently ignored, and if it is added to the goal state, the translator succeeds and search finds the state to be a dead end. To reproduce, add e.g. (at no-such-ball no-such-room) to either the init or goal states of gripper problem 1.
2018-08-23 01:17:53emilkeydercreate