|
|
Created on 2018-08-23.01:17:53 by emilkeyder, last changed by silvan.
|
| 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.
|
|
| Date |
User |
Action |
Args |
| 2018-12-03 11:59:39 | silvan | set | priority: bug -> wish
nosy:
+ silvan
messages:
+ msg8143
summary: cross-references: issue472, issue215 |
| 2018-09-16 12:16:51 | malte | set | messages:
+ msg7473 |
| 2018-09-16 11:39:23 | malte | set | messages:
+ msg7472 |
| 2018-08-26 16:51:23 | malte | set | status: 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:05 | malte | set | nosy:
+ 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:23 | emilkeyder | set | 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 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:53 | emilkeyder | create | |
|