roast_vegetables-0


Synsets

Transition Paths By Task Scope Objects

graph TD; initial-bell_peppern02(initial: bell_pepper.n.02); initial-carrotn03(initial: carrot.n.03); future-cooked__diced__carrotn01(future: cooked__diced__carrot.n.01); future-cooked__diced__zucchinin01(future: cooked__diced__zucchini.n.01); future-half__bell_peppern01(future: half__bell_pepper.n.01); initial-zucchinin02(initial: zucchini.n.02); recipe-carrotn03-slicing(recipe: carrot.n.03-slicing); half__carrotn01(half__carrot.n.01); recipe-cooked-half__carrotn01-dicing(recipe: cooked-half__carrot.n.01-dicing); recipe-uncooked-half__carrotn01-dicing(recipe: uncooked-half__carrot.n.01-dicing); diced__carrotn01(diced__carrot.n.01); recipe-diced__carrotn01-cooking(recipe: diced__carrot.n.01-cooking); recipe-cooked-half__zucchinin01-dicing(recipe: cooked-half__zucchini.n.01-dicing); half__zucchinin01(half__zucchini.n.01); recipe-zucchinin02-slicing(recipe: zucchini.n.02-slicing); recipe-uncooked-half__zucchinin01-dicing(recipe: uncooked-half__zucchini.n.01-dicing); diced__zucchinin01(diced__zucchini.n.01); recipe-diced__zucchinin01-cooking(recipe: diced__zucchini.n.01-cooking); recipe-bell_peppern02-slicing(recipe: bell_pepper.n.02-slicing); initial-bell_peppern02 --> recipe-bell_peppern02-slicing; initial-carrotn03 --> recipe-carrotn03-slicing; initial-zucchinin02 --> recipe-zucchinin02-slicing; recipe-carrotn03-slicing --> half__carrotn01; half__carrotn01 --> recipe-cooked-half__carrotn01-dicing; half__carrotn01 --> recipe-uncooked-half__carrotn01-dicing; recipe-cooked-half__carrotn01-dicing --> future-cooked__diced__carrotn01; recipe-uncooked-half__carrotn01-dicing --> diced__carrotn01; diced__carrotn01 --> recipe-diced__carrotn01-cooking; recipe-diced__carrotn01-cooking --> future-cooked__diced__carrotn01; recipe-cooked-half__zucchinin01-dicing --> future-cooked__diced__zucchinin01; half__zucchinin01 --> recipe-cooked-half__zucchinin01-dicing; half__zucchinin01 --> recipe-uncooked-half__zucchinin01-dicing; recipe-zucchinin02-slicing --> half__zucchinin01; recipe-uncooked-half__zucchinin01-dicing --> diced__zucchinin01; diced__zucchinin01 --> recipe-diced__zucchinin01-cooking; recipe-diced__zucchinin01-cooking --> future-cooked__diced__zucchinin01; recipe-bell_peppern02-slicing --> future-half__bell_peppern01;

Scenes

Full Definition

(define (problem roast_vegetables-0)
    (:domain omnigibson)

    (:objects
        brussels_sprouts.n.01_1 - brussels_sprouts.n.01
        cookie_sheet.n.01_1 - cookie_sheet.n.01
        carrot.n.03_1 - carrot.n.03
        cooked__diced__carrot.n.01_1 - cooked__diced__carrot.n.01
        bell_pepper.n.02_1 - bell_pepper.n.02
        half__bell_pepper.n.01_1 half__bell_pepper.n.01_2 - half__bell_pepper.n.01
        zucchini.n.02_1 - zucchini.n.02
        cooked__diced__zucchini.n.01_1 - cooked__diced__zucchini.n.01
        chopping_board.n.01_1 - chopping_board.n.01
        carving_knife.n.01_1 - carving_knife.n.01
        clove.n.03_1 clove.n.03_2 clove.n.03_3 clove.n.03_4 clove.n.03_5 - clove.n.03
        oven.n.01_1 - oven.n.01
        spatula.n.01_1 - spatula.n.01
        cabinet.n.01_1 - cabinet.n.01
        floor.n.01_1 - floor.n.01
        agent.n.01_1 - agent.n.01
    )
    
    (:init 
        (ontop brussels_sprouts.n.01_1 cookie_sheet.n.01_1) 
        (not 
            (cooked brussels_sprouts.n.01_1)
        ) 
        (ontop carrot.n.03_1 cookie_sheet.n.01_1) 
        (not 
            (cooked carrot.n.03_1)
        ) 
        (ontop bell_pepper.n.02_1 cookie_sheet.n.01_1) 
        (not 
            (cooked bell_pepper.n.02_1)
        ) 
        (ontop zucchini.n.02_1 cookie_sheet.n.01_1) 
        (not 
            (cooked zucchini.n.02_1)
        ) 
        (ontop clove.n.03_1 cookie_sheet.n.01_1) 
        (not 
            (cooked clove.n.03_1)
        ) 
        (ontop clove.n.03_2 cookie_sheet.n.01_1) 
        (not 
            (cooked clove.n.03_2)
        ) 
        (ontop clove.n.03_3 cookie_sheet.n.01_1) 
        (not 
            (cooked clove.n.03_3)
        ) 
        (ontop clove.n.03_4 cookie_sheet.n.01_1) 
        (not 
            (cooked clove.n.03_4)
        ) 
        (ontop clove.n.03_5 cookie_sheet.n.01_1) 
        (not 
            (cooked clove.n.03_5)
        ) 
        (inside chopping_board.n.01_1 cabinet.n.01_1)
        (ontop carving_knife.n.01_1 chopping_board.n.01_1)
        (ontop cookie_sheet.n.01_1 oven.n.01_1) 
        (inside spatula.n.01_1 cabinet.n.01_1) 
        (inroom floor.n.01_1 kitchen) 
        (inroom oven.n.01_1 kitchen) 
        (inroom cabinet.n.01_1 kitchen) 
        (future half__bell_pepper.n.01_1)
        (future half__bell_pepper.n.01_2)
        (future cooked__diced__zucchini.n.01_1)
        (future cooked__diced__carrot.n.01_1)
        (ontop agent.n.01_1 floor.n.01_1)
    )
    
    (:goal 
        (and 
            (real ?cooked__diced__carrot.n.01_1)
            (real ?cooked__diced__zucchini.n.01_1)
            (real ?half__bell_pepper.n.01_1)
            (real ?half__bell_pepper.n.01_2)
            (cooked ?brussels_sprouts.n.01_1) 
            (forall 
                (?half__bell_pepper.n.01 - half__bell_pepper.n.01)
                (cooked ?half__bell_pepper.n.01)
            )
            (forall 
                (?clove.n.03 - clove.n.03)
                (cooked ?clove.n.03)
            )
        )
    )
)
  

Debugging: All Possible Recipes Resulting in Future Synsets

graph TD; initial-bell_peppern02(initial: bell_pepper.n.02); recipe-diced__carrotn01-cooking(recipe: diced__carrot.n.01-cooking); recipe-cooked-half__zucchinin01-dicing(recipe: cooked-half__zucchini.n.01-dicing); initial-zucchinin02(initial: zucchini.n.02); missing-diced__carrotn01(missing: diced__carrot.n.01); missing-half__zucchinin01(missing: half__zucchini.n.01); recipe-zucchinin02-slicing(recipe: zucchini.n.02-slicing); future-cooked__diced__zucchinin01(future: cooked__diced__zucchini.n.01); recipe-cooked-half__carrotn01-dicing(recipe: cooked-half__carrot.n.01-dicing); recipe-bell_peppern02-slicing(recipe: bell_pepper.n.02-slicing); future-cooked__diced__carrotn01(future: cooked__diced__carrot.n.01); recipe-uncooked-half__zucchinin01-dicing(recipe: uncooked-half__zucchini.n.01-dicing); recipe-uncooked-half__carrotn01-dicing(recipe: uncooked-half__carrot.n.01-dicing); future-half__bell_peppern01(future: half__bell_pepper.n.01); recipe-diced__zucchinin01-cooking(recipe: diced__zucchini.n.01-cooking); initial-carrotn03(initial: carrot.n.03); missing-half__carrotn01(missing: half__carrot.n.01); missing-diced__zucchinin01(missing: diced__zucchini.n.01); recipe-carrotn03-slicing(recipe: carrot.n.03-slicing); initial-bell_peppern02 --> recipe-bell_peppern02-slicing; recipe-diced__carrotn01-cooking --> future-cooked__diced__carrotn01; recipe-cooked-half__zucchinin01-dicing --> future-cooked__diced__zucchinin01; initial-zucchinin02 --> recipe-zucchinin02-slicing; missing-diced__carrotn01 --> recipe-diced__carrotn01-cooking; missing-half__zucchinin01 --> recipe-cooked-half__zucchinin01-dicing; missing-half__zucchinin01 --> recipe-uncooked-half__zucchinin01-dicing; recipe-zucchinin02-slicing --> missing-half__zucchinin01; recipe-cooked-half__carrotn01-dicing --> future-cooked__diced__carrotn01; recipe-bell_peppern02-slicing --> future-half__bell_peppern01; recipe-uncooked-half__zucchinin01-dicing --> missing-diced__zucchinin01; recipe-uncooked-half__carrotn01-dicing --> missing-diced__carrotn01; recipe-diced__zucchinin01-cooking --> future-cooked__diced__zucchinin01; initial-carrotn03 --> recipe-carrotn03-slicing; missing-half__carrotn01 --> recipe-cooked-half__carrotn01-dicing; missing-half__carrotn01 --> recipe-uncooked-half__carrotn01-dicing; missing-diced__zucchinin01 --> recipe-diced__zucchinin01-cooking; recipe-carrotn03-slicing --> missing-half__carrotn01;