Issue #43 resolved

RDDL file issue: recon mdp

Anonymous created an issue

Hi,

Definition of pictureTaken in recon_mdp.rddl is

pictureTaken'(?o) = KronDelta( exists_{?x : x_pos, ?y : y_pos, ?a: agent, ?t: tool} [CAMERA_TOOL(?t) ^ agentAt(?a, ?x, ?y) ^ objAt(?o, ?x, ?y) ^ useToolOn(?a, ?t, ?o) ^ ~damaged(?t)] );

shouldn't it be

pictureTaken'(?o) = KronDelta( pictureTaken(?o) | exists_{?x : x_pos, ?y : y_pos, ?a: agent, ?t: tool} [CAMERA_TOOL(?t) ^ agentAt(?a, ?x, ?y) ^ objAt(?o, ?x, ?y) ^ useToolOn(?a, ?t, ?o) ^ ~damaged(?t)] );

Comments (2)

  1. tkeller repo owner

    I agree that the domain should have been modelled in this way, as the current optimal policy takes a picture every other turn instead of continuing with the next object. Nevertheless, I'll close this issue without action. This is because the files in testbed/benchmarks/ippc* are exactly the files that have been used at the respective IPPCs and may never be altered. However, suggesting that a fixed version should be used at a future IPPC seems like a good idea. The person to contact in that case would be Scott Sanner, though.

    Best Thomas

  2. Log in to comment