make_oatmeal-0


Synsets

Transition Paths By Task Scope Objects

graph TD; initial-low-fat_milkn01(initial: low-fat_milk.n.01); initial-cinnamonn03(initial: cinnamon.n.03); initial-watern06(initial: water.n.06); seawatern01(seawater.n.01); recipe-salt_water(recipe: salt_water); initial-saltn02(initial: salt.n.02); initial-oatn02(initial: oat.n.02); recipe-oatmeal(recipe: oatmeal); initial-honeyn01(initial: honey.n.01); future-oatmealn01(future: oatmeal.n.01); initial-low-fat_milkn01 --> recipe-oatmeal; initial-cinnamonn03 --> recipe-oatmeal; initial-watern06 --> recipe-salt_water; seawatern01 --> recipe-oatmeal; recipe-salt_water --> seawatern01; initial-saltn02 --> recipe-salt_water; initial-oatn02 --> recipe-oatmeal; recipe-oatmeal --> future-oatmealn01; initial-honeyn01 --> recipe-oatmeal;

Scenes

Full Definition

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

    (:objects
        salt.n.02_1 - salt.n.02
        cinnamon.n.03_1 - cinnamon.n.03
        honey.n.01_1 - honey.n.01
        oat.n.02_1 - oat.n.02
        low-fat_milk.n.01_1 - low-fat_milk.n.01
        water.n.06_1 - water.n.06
        oatmeal.n.01_1 - oatmeal.n.01
        stove.n.01_1 - stove.n.01
        saucepot.n.01_1 - saucepot.n.01
        salt__shaker.n.01_1 - salt__shaker.n.01
        cinnamon__shaker.n.01_1 - cinnamon__shaker.n.01
        oat__box.n.01_1 - oat__box.n.01
        countertop.n.01_1 - countertop.n.01
        cabinet.n.01_1 cabinet.n.01_2 - cabinet.n.01
        honey__jar.n.01_1 - honey__jar.n.01
        milk__carton.n.01_1 - milk__carton.n.01
        electric_refrigerator.n.01_1 - electric_refrigerator.n.01
        sink.n.01_1 - sink.n.01
        agent.n.01_1 - agent.n.01
        floor.n.01_1 - floor.n.01
    )
    
    (:init 
        (insource salt__shaker.n.01_1 salt.n.02_1)
        (ontop salt__shaker.n.01_1 countertop.n.01_1)
        (insource cinnamon__shaker.n.01_1 cinnamon.n.03_1) 
        (inside cinnamon__shaker.n.01_1 cabinet.n.01_1) 
        (filled honey__jar.n.01_1 honey.n.01_1) 
        (ontop honey__jar.n.01_1 countertop.n.01_1) 
        (filled oat__box.n.01_1 oat.n.02_1)
        (inside oat__box.n.01_1 cabinet.n.01_1) 
        (filled milk__carton.n.01_1 low-fat_milk.n.01_1) 
        (inside milk__carton.n.01_1 electric_refrigerator.n.01_1) 
        (insource sink.n.01_1 water.n.06_1) 
        (inroom sink.n.01_1 kitchen) 
        (inroom cabinet.n.01_1 kitchen) 
        (inroom cabinet.n.01_2 kitchen) 
        (inroom electric_refrigerator.n.01_1 kitchen) 
        (inroom countertop.n.01_1 kitchen) 
        (inroom stove.n.01_1 kitchen) 
        (inside saucepot.n.01_1 cabinet.n.01_2) 
        (future oatmeal.n.01_1) 
        (inroom floor.n.01_1 kitchen) 
        (ontop agent.n.01_1 floor.n.01_1)
    )
    
    (:goal 
        (and 
            (real ?oatmeal.n.01_1) 
            (contains ?saucepot.n.01_1 ?oatmeal.n.01_1)
        )
    )
)

  

Debugging: All Possible Recipes Resulting in Future Synsets

graph TD; initial-low-fat_milkn01(initial: low-fat_milk.n.01); initial-cinnamonn03(initial: cinnamon.n.03); initial-oatn02(initial: oat.n.02); initial-watern06(initial: water.n.06); future-oatmealn01(future: oatmeal.n.01); recipe-salt_water(recipe: salt_water); recipe-oatmeal(recipe: oatmeal); missing-seawatern01(missing: seawater.n.01); initial-saltn02(initial: salt.n.02); initial-honeyn01(initial: honey.n.01); initial-low-fat_milkn01 --> recipe-oatmeal; initial-cinnamonn03 --> recipe-oatmeal; initial-oatn02 --> recipe-oatmeal; initial-watern06 --> recipe-salt_water; recipe-salt_water --> missing-seawatern01; recipe-oatmeal --> future-oatmealn01; missing-seawatern01 --> recipe-oatmeal; initial-saltn02 --> recipe-salt_water; initial-honeyn01 --> recipe-oatmeal;