make_granola-0
Synsets
Transition Paths By Task Scope Objects
graph TD;
initial-pecann03(initial: pecan.n.03);
initial-cinnamonn03(initial: cinnamon.n.03);
recipe-granola(recipe: granola);
initial-raisinn01(initial: raisin.n.01);
initial-honeyn01(initial: honey.n.01);
initial-oatn02(initial: oat.n.02);
future-granolan01(future: granola.n.01);
initial-pecann03 --> recipe-granola;
initial-cinnamonn03 --> recipe-granola;
recipe-granola --> future-granolan01;
initial-raisinn01 --> recipe-granola;
initial-honeyn01 --> recipe-granola;
initial-oatn02 --> recipe-granola;
Scenes
- Matched:
- Planned:
- Unmatched:
Full Definition
(define (problem make_granola-0)
(:domain omnigibson)
(:objects
oat.n.02_1 - oat.n.02
honey.n.01_1 - honey.n.01
cinnamon.n.03_1 - cinnamon.n.03
pecan.n.03_1 - pecan.n.03
raisin.n.01_1 - raisin.n.01
granola.n.01_1 - granola.n.01
oven.n.01_1 - oven.n.01
sack.n.01_1 - sack.n.01
tupperware.n.01_1 - tupperware.n.01
cookie_sheet.n.01_1 - cookie_sheet.n.01
oat__box.n.01_1 - oat__box.n.01
cinnamon__shaker.n.01_1 - cinnamon__shaker.n.01
countertop.n.01_1 countertop.n.01_2 - countertop.n.01
cabinet.n.01_1 - cabinet.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
(filled oat__box.n.01_1 oat.n.02_1)
(inside oat__box.n.01_1 cabinet.n.01_1)
(filled honey__jar.n.01_1 honey.n.01_1)
(inside honey__jar.n.01_1 cabinet.n.01_1)
(insource cinnamon__shaker.n.01_1 cinnamon.n.03_1)
(inside cinnamon__shaker.n.01_1 cabinet.n.01_1)
(filled sack.n.01_1 pecan.n.03_1)
(ontop sack.n.01_1 countertop.n.01_1)
(filled tupperware.n.01_1 raisin.n.01_1)
(inside tupperware.n.01_1 cabinet.n.01_1)
(inroom oven.n.01_1 kitchen)
(inroom cabinet.n.01_1 kitchen)
(inroom countertop.n.01_1 kitchen)
(inroom countertop.n.01_2 kitchen)
(ontop cookie_sheet.n.01_1 countertop.n.01_2)
(future granola.n.01_1)
(inroom floor.n.01_1 kitchen)
(ontop agent.n.01_1 floor.n.01_1)
)
(:goal
(and
(real ?granola.n.01_1)
(contains ?cookie_sheet.n.01_1 ?granola.n.01_1)
)
)
)
Debugging: All Possible Recipes Resulting in Future Synsets
graph TD;
initial-honeyn01(initial: honey.n.01);
initial-oatn02(initial: oat.n.02);
initial-pecann03(initial: pecan.n.03);
initial-cinnamonn03(initial: cinnamon.n.03);
recipe-granola(recipe: granola);
future-granolan01(future: granola.n.01);
initial-raisinn01(initial: raisin.n.01);
initial-honeyn01 --> recipe-granola;
initial-oatn02 --> recipe-granola;
initial-pecann03 --> recipe-granola;
initial-cinnamonn03 --> recipe-granola;
recipe-granola --> future-granolan01;
initial-raisinn01 --> recipe-granola;