Issue223

Title h_m landmarks lead to dead end on solvable instance
Priority bug Status resolved
Superseder Nosy List emilkeyder, erez, malte, silvia
Assigned To emilkeyder Keywords
Optional summary

Created on 2011-03-09.08:45:34 by silvia, last changed by malte.

Files
File name Uploaded Type Edit Remove
hydraulic.zip silvia, 2011-03-09.08:45:33 application/zip
Messages
msg1281 (view) Author: malte Date: 2011-03-18.21:35:47
Merged. Thanks, Emil!
msg1279 (view) Author: emilkeyder Date: 2011-03-15.18:23:54
Malte - Invited you to my public repository, let me know if I did things right and 
you can pull the changes. Erez gave very good instructions but I may have managed 
to do it wrong despite that.
msg1278 (view) Author: emilkeyder Date: 2011-03-15.16:15:42
Actions with empty preconditions weren't being correctly applied at the 
beginning of LM computation. It's five lines of code to fix, but I have no idea 
how to do a commit in mercurial or whether i have permissions to do that, can 
someone let me know?

Also I had to add a few #ifdef __APPLE__ type things to compile on OS X, let me 
know if you want those changes. They're in exact_timer.cc and in utilities.cc.
msg1275 (view) Author: silvia Date: 2011-03-15.10:31:13
Emil has kindly agreed to look after this one.
msg1269 (view) Author: malte Date: 2011-03-09.19:10:30
No, and I'm not sure if he wants to support the code further, but we can
certainly ask him. Can one you send him an email? If he's willing to support the
code further, the best thing would be if he created an account on the tracker to
simplify future interactions.
msg1263 (view) Author: erez Date: 2011-03-09.08:57:42
Since this message is from the h^m landmarks code, I think it should be assigned 
to Emil (is he on the issue tracker?)
msg1261 (view) Author: silvia Date: 2011-03-09.08:45:33
In solvable tasks from the Hydraulic Leaking domain from the ASP competition, A*
with the h_m landmarks prints a warning to the screen "Subset of goal not
reachable !!" and declares the initial state to be a dead end. Sample input is
attached. I've used this argument string:

--search "astar(lmcount(lm_hm(m=1),admissible=true),mpd=true)"

When using rhw landmarks, there is no warning message and the instance is solved.

The one issue is that the warning "subset not reachable" is wrong in this case;
the other issue is that if the warning was correct, one would expect the search
to abort straight away rather than trying to solve the instance. E.g. when using
the combination of rhw and hm landmarks we get the warning but yet the search
proceeds to work on the instance (actually solving it).
History
Date User Action Args
2011-03-18 21:35:48maltesetstatus: chatting -> resolved
messages: + msg1281
2011-03-18 21:30:49maltesetmessages: - msg1280
2011-03-15 20:05:04maltesetmessages: + msg1280
2011-03-15 18:23:54emilkeydersetmessages: + msg1279
2011-03-15 16:15:42emilkeydersetmessages: + msg1278
2011-03-15 10:31:14silviasetnosy: + emilkeyder
messages: + msg1275
assignedto: erez -> emilkeyder
2011-03-09 19:10:30maltesetmessages: + msg1269
2011-03-09 08:57:42erezsetstatus: unread -> chatting
messages: + msg1263
2011-03-09 08:45:34silviacreate