pddl4j icon indicating copy to clipboard operation
pddl4j copied to clipboard

Abstract Task written incorrectly by parsedProblem.toString function for HDDL domains

Open gaspard-quenard opened this issue 10 months ago • 0 comments

To continue the #110 issue, there is also a problem to represent the abstract tasks. If I run the function parsedProblem.toString for the domain: ipc2020/Blockworld-GTOHP/domain.hddl, it gives me:

;...

(:tasks 
  (do_put_on ?x - BLOCK ?y - BLOCK)
  (do_on_table ?x - BLOCK)
  (do_move ?x - BLOCK ?y - BLOCK)
  (do_clear ?x - BLOCK)
  (pick-up ?x - BLOCK)
  (put-down ?x - BLOCK)
  (stack ?x - BLOCK ?y - BLOCK)
  (unstack ?x - BLOCK ?y - BLOCK)
  (nop)
  (pick-up ?x - BLOCK)
  (put-down ?x - BLOCK)
  (stack ?x - BLOCK ?y - BLOCK)
  (unstack ?x - BLOCK ?y - BLOCK)
  (nop)
  )

;...

But it seems that the hddl parser does not accept the :tasks keyword, only :task and it is used only for abstract task. So it should be:

;...

(:task do_put_on
:parameters (?x - block ?y - block) )

(:task do_on_table
:parameters (?x - block) )

(:task do_move
:parameters (?x - block ?y - block) )

(:task do_clear
:parameters (?x - block) )

;...

Would it be possible to make this change as well ? Thanks

gaspard-quenard avatar Aug 31 '23 09:08 gaspard-quenard