Issue145

Issues
Show Unassigned
Show All
Search

Login




Register
Lost your login?

Help
Roundup docs

Title bug in invariant synthesis makes task unsolvable or translator fail
Priority bug Status resolved
Superseder Nosy List gabi, malte
Assigned To gabi Keywords
Optional summary 


















Created on 2010-11-09.16:05:45 by malte, last changed  by gabi.






 
Files

 

  File name
  Uploaded
  Type
  Edit
  Remove
 

 

  
   domain.pddl
  
  
   gabi,
   2011-01-05.13:38:14
  
  application/octet-stream
  
  
  
   
  
 

 

  
   problem.pddl
  
  
   gabi,
   2011-01-05.13:37:58
  
  application/octet-stream
  
  
  
   
  
 






 
Messages

 
  

   msg1058 (view)
   Author: gabi
   Date: 2011-01-05.19:42:56
   
    
   
  

  

   
    
This is fixed by the new invariant synthesis.

   		
  

 
 
  

   msg1038 (view)
   Author: gabi
   Date: 2011-01-05.15:02:06
   
    
   
  

  

   
    
I cannot observe this with the new invariant synthesis (cf issue132, not merged
into the trunk yet). I will wait until issue132 is resolved and re-check this then.

   		
  

 
 
  

   msg1037 (view)
   Author: gabi
   Date: 2011-01-05.14:02:11
   
    
   
  

  

   
    
The attached task becomes unsolvable when translated with invariant synthesis
switched on. Furthermore, if one changes the goal description from

(and
    (not (exists (?a) (and (is_block ?a) (not (on ?a TABLE_A)))))
    ;(on BLOCK_A TABLE_A)
    ;(on BLOCK_B TABLE_A)
)

to the equivalent

(and
    ;(not (exists (?a) (and (is_block ?a) (not (on ?a TABLE_A)))))
    (on BLOCK_A TABLE_A)
    (on BLOCK_B TABLE_A)
)

the translator aborts with failure.

If the invariant synthesis is switched off, everything works fine.

   		
  

 
 
  

   msg1011 (view)
   Author: malte
   Date: 2011-01-04.21:07:13
   
    
   
  

  

   
    
Gabi, can you add the description for this issue?

   		
  

 
 
  

   msg700 (view)
   Author: malte
   Date: 2010-11-09.16:05:45
   
    
   
  

  

   
    
(Needs a more descriptive name. Opening without a proper name so that I can
refer to the issue.)

   		
  

 





History


Date
User
Action
Args



2011-01-05 19:42:57gabisetstatus: chatting -> resolved
messages:
  + msg1058


2011-01-05 15:02:06gabisetmessages:
  + msg1038


2011-01-05 14:02:11gabisetmessages:
  + msg1037
title: LAMA does not solve task with invariant synthesis switched on -> bug in invariant synthesis makes task unsolvable or translator fail


2011-01-05 13:38:14gabisetfiles:
  + domain.pddl


2011-01-05 13:37:58gabisetfiles:
  + problem.pddl
title: issue reported by Richard Cubek -> LAMA does not solve task with invariant synthesis switched on


2011-01-04 21:07:14maltesetmessages:
  + msg1011


2010-11-09 16:05:45maltecreate