cook_pasta-0


Synsets

Transition Paths By Task Scope Objects

graph TD; future-cooked__noodlen01(future: cooked__noodle.n.01); initial-noodlen01(initial: noodle.n.01); initial-saltn02(initial: salt.n.02); future-seawatern01(future: seawater.n.01); initial-watern06(initial: water.n.06); recipe-watern06-cooking(recipe: water.n.06-cooking); cooked__watern01(cooked__water.n.01); recipe-noodlen01-cooking(recipe: noodle.n.01-cooking); recipe-salt_water(recipe: salt_water); initial-noodlen01 --> recipe-noodlen01-cooking; initial-saltn02 --> recipe-salt_water; initial-watern06 --> recipe-watern06-cooking; initial-watern06 --> recipe-salt_water; recipe-watern06-cooking --> cooked__watern01; cooked__watern01 --> recipe-noodlen01-cooking; recipe-noodlen01-cooking --> future-cooked__noodlen01; recipe-salt_water --> future-seawatern01;

Scenes

Full Definition

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

    (:objects
        noodle.n.01_1 - noodle.n.01
        cooked__noodle.n.01_1 - cooked__noodle.n.01
        pasta__box.n.01_1 - pasta__box.n.01
        bowl.n.01_1 - bowl.n.01
        salt.n.02_1 - salt.n.02
        salt__shaker.n.01_1 - salt__shaker.n.01
        stove.n.01_1 - stove.n.01
        sink.n.01_1 - sink.n.01
        stockpot.n.01_1 - stockpot.n.01
        cabinet.n.01_1 - cabinet.n.01
        lid.n.02_1 - lid.n.02
        seawater.n.01_1 - seawater.n.01
        water.n.06_1 - water.n.06
        floor.n.01_1 - floor.n.01
        agent.n.01_1 - agent.n.01
    )
    
    (:init 
        (future cooked__noodle.n.01_1)
        (filled pasta__box.n.01_1 noodle.n.01_1) 
        (inside pasta__box.n.01_1 cabinet.n.01_1)
        (inside bowl.n.01_1 cabinet.n.01_1) 
        (inside stockpot.n.01_1 cabinet.n.01_1) 
        (inside lid.n.02_1 cabinet.n.01_1) 
        (insource salt__shaker.n.01_1 salt.n.02_1)
        (inside salt__shaker.n.01_1 cabinet.n.01_1)
        (future seawater.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 stove.n.01_1 kitchen) 
        (inroom floor.n.01_1 kitchen) 
        (ontop agent.n.01_1 floor.n.01_1)
    )
    
    (:goal 
        (and 
            (real ?seawater.n.01_1)
            (real ?cooked__noodle.n.01_1)
        )
    )
)

  

Debugging: All Possible Recipes Resulting in Future Synsets

graph TD; initial-saltn02(initial: salt.n.02); recipe-watern06-cooking(recipe: water.n.06-cooking); initial-watern06(initial: water.n.06); recipe-noodlen01-cooking(recipe: noodle.n.01-cooking); future-cooked__noodlen01(future: cooked__noodle.n.01); recipe-salt_water(recipe: salt_water); missing-cooked__watern01(missing: cooked__water.n.01); future-seawatern01(future: seawater.n.01); initial-noodlen01(initial: noodle.n.01); initial-saltn02 --> recipe-salt_water; recipe-watern06-cooking --> missing-cooked__watern01; initial-watern06 --> recipe-salt_water; initial-watern06 --> recipe-watern06-cooking; recipe-noodlen01-cooking --> future-cooked__noodlen01; recipe-salt_water --> future-seawatern01; missing-cooked__watern01 --> recipe-noodlen01-cooking; initial-noodlen01 --> recipe-noodlen01-cooking;