make_popsicles-0
Synsets
Transition Paths By Task Scope Objects
graph TD;
future-ice_lollyn01(future: ice_lolly.n.01);
smoothien02(smoothie.n.02);
initial-honeyn01(initial: honey.n.01);
initial-raspberryn02(initial: raspberry.n.02);
recipe-popsicles(recipe: popsicles);
initial-strawberryn01(initial: strawberry.n.01);
initial-lemon_juicen01(initial: lemon_juice.n.01);
initial-yogurtn01(initial: yogurt.n.01);
recipe-smoothie_1(recipe: smoothie_1);
smoothien02 --> recipe-popsicles;
initial-honeyn01 --> recipe-smoothie_1;
initial-raspberryn02 --> recipe-smoothie_1;
recipe-popsicles --> future-ice_lollyn01;
initial-strawberryn01 --> recipe-smoothie_1;
initial-lemon_juicen01 --> recipe-smoothie_1;
initial-yogurtn01 --> recipe-smoothie_1;
recipe-smoothie_1 --> smoothien02;
Scenes
- Matched:
- Planned:
- Unmatched:
Full Definition
(define (problem make_popsicles-0)
(:domain omnigibson)
(:objects
raspberry.n.02_1 raspberry.n.02_2 - raspberry.n.02
strawberry.n.01_1 strawberry.n.01_2 - strawberry.n.01
lemon_juice.n.01_1 - lemon_juice.n.01
yogurt.n.01_1 - yogurt.n.01
honey.n.01_1 - honey.n.01
blender.n.01_1 - blender.n.01
ice_lolly.n.01_1 ice_lolly.n.01_2 - ice_lolly.n.01
deep-freeze.n.02_1 - deep-freeze.n.02
mold.n.02_1 - mold.n.02
yogurt__carton.n.01_1 - yogurt__carton.n.01
countertop.n.01_1 - countertop.n.01
electric_refrigerator.n.01_1 - electric_refrigerator.n.01
cabinet.n.01_1 - cabinet.n.01
lemon_juice__bottle.n.01_1 - lemon_juice__bottle.n.01
honey__jar.n.01_1 - honey__jar.n.01
agent.n.01_1 - agent.n.01
floor.n.01_1 - floor.n.01
)
(:init
(inside raspberry.n.02_1 electric_refrigerator.n.01_1)
(inside raspberry.n.02_2 electric_refrigerator.n.01_1)
(inside strawberry.n.01_1 electric_refrigerator.n.01_1)
(inside strawberry.n.01_2 electric_refrigerator.n.01_1)
(filled lemon_juice__bottle.n.01_1 lemon_juice.n.01_1)
(inside lemon_juice__bottle.n.01_1 electric_refrigerator.n.01_1)
(filled yogurt__carton.n.01_1 yogurt.n.01_1)
(inside yogurt__carton.n.01_1 electric_refrigerator.n.01_1)
(filled honey__jar.n.01_1 honey.n.01_1)
(inside honey__jar.n.01_1 cabinet.n.01_1)
(ontop blender.n.01_1 countertop.n.01_1)
(inroom deep-freeze.n.02_1 kitchen)
(inroom electric_refrigerator.n.01_1 kitchen)
(inroom countertop.n.01_1 kitchen)
(inroom cabinet.n.01_1 kitchen)
(ontop mold.n.02_1 countertop.n.01_1)
(future ice_lolly.n.01_1)
(future ice_lolly.n.01_2)
(inroom floor.n.01_1 kitchen)
(ontop agent.n.01_1 floor.n.01_1)
)
(:goal
(and
(real ?ice_lolly.n.01_1)
(real ?ice_lolly.n.01_2)
)
)
)
Debugging: All Possible Recipes Resulting in Future Synsets
graph TD;
initial-yogurtn01(initial: yogurt.n.01);
recipe-smoothie_0(recipe: smoothie_0);
initial-strawberryn01(initial: strawberry.n.01);
missing-smoothien02(missing: smoothie.n.02);
initial-honeyn01(initial: honey.n.01);
future-ice_lollyn01(future: ice_lolly.n.01);
initial-lemon_juicen01(initial: lemon_juice.n.01);
recipe-smoothie_1(recipe: smoothie_1);
initial-raspberryn02(initial: raspberry.n.02);
recipe-popsicles(recipe: popsicles);
missing-ice_cuben01(missing: ice_cube.n.01);
initial-yogurtn01 --> recipe-smoothie_1;
recipe-smoothie_0 --> missing-smoothien02;
initial-strawberryn01 --> recipe-smoothie_0;
initial-strawberryn01 --> recipe-smoothie_1;
missing-smoothien02 --> recipe-popsicles;
initial-honeyn01 --> recipe-smoothie_1;
initial-lemon_juicen01 --> recipe-smoothie_0;
initial-lemon_juicen01 --> recipe-smoothie_1;
recipe-smoothie_1 --> missing-smoothien02;
initial-raspberryn02 --> recipe-smoothie_1;
recipe-popsicles --> future-ice_lollyn01;
missing-ice_cuben01 --> recipe-smoothie_0;