task 1
Problem file used for this demo task.
(define (problem learned_action_schema_fragment_online_problem)
(:domain learned_action_schema_fragment)
(:objects
blue_block red_block - block
black_box - box
green_cup pink_cup - cup
green_drawer yellow_drawer - drawer
)
(:init-belief
(prob (gripper_empty) 1.0)
(prob (in_front_of_right green_cup green_drawer) 1.0)
(prob (in_front_of_left pink_cup yellow_drawer) 1.0)
(prob (on_left yellow_drawer) 1.0)
(prob (on_right green_drawer) 1.0)
(prob (on_top_of_right_box_drawer black_box green_drawer) 1.0)
(prob (gripper_holding_block blue_block) 0.0)
(prob (gripper_holding_block red_block) 0.0)
(prob (gripper_holding_cup green_cup) 0.0)
(prob (gripper_holding_cup pink_cup) 0.0)
(prob (in_front_of_left green_cup yellow_drawer) 0.0)
(prob (in_front_of_left pink_cup green_drawer) 0.0)
(prob (in_front_of_left green_cup green_drawer) 0.0)
(prob (in_front_of_right green_cup yellow_drawer) 0.0)
(prob (in_front_of_right pink_cup green_drawer) 0.0)
(prob (in_front_of_right pink_cup yellow_drawer) 0.0)
(prob (on_left green_drawer) 0.0)
(prob (on_right yellow_drawer) 0.0)
(prob (on_top_of_left_block_drawer blue_block green_drawer) 0.0)
(prob (on_top_of_left_block_drawer blue_block yellow_drawer) 0.0)
(prob (on_top_of_left_block_drawer red_block green_drawer) 0.0)
(prob (on_top_of_left_block_drawer red_block yellow_drawer) 0.0)
(prob (on_top_of_left_box_drawer black_box green_drawer) 0.0)
(prob (on_top_of_left_box_drawer black_box yellow_drawer) 0.0)
(prob (on_top_of_right_box_drawer black_box yellow_drawer) 0.0)
(prob (on_top_of_right_cup_drawer green_cup green_drawer) 0.0)
(prob (on_top_of_right_cup_drawer green_cup yellow_drawer) 0.0)
(prob (on_top_of_right_cup_drawer pink_cup green_drawer) 0.0)
(prob (on_top_of_right_cup_drawer pink_cup yellow_drawer) 0.0)
(prob (open green_drawer) 0.0)
(prob (open yellow_drawer) 0.0)
(prob (contains_dark_liquid green_cup) 0.25)
(prob (contains_dark_liquid pink_cup) 0.181818)
(joint 0.5 (and (not (in green_drawer blue_block)) (in yellow_drawer blue_block)))
(joint 0.5 (and (in green_drawer blue_block) (not (in yellow_drawer blue_block))))
(joint 0.5 (and (not (in green_drawer red_block)) (in yellow_drawer red_block)))
(joint 0.5 (and (in green_drawer red_block) (not (in yellow_drawer red_block))))
)
(:goal
(or
(and
(not
(on_top_of_left_box_drawer black_box yellow_drawer)
)
(on_top_of_right_box_drawer black_box yellow_drawer)
)
(and
(on_top_of_left_box_drawer black_box yellow_drawer)
(not
(on_top_of_right_box_drawer black_box yellow_drawer)
)
)
)
)
(:metric maximize (total-reward))
)