clean_a_company_office-0


Synsets

Transition Paths By Task Scope Objects

graph TD;

Scenes

Full Definition

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

    (:objects
        computer.n.01_1 computer.n.01_2 - computer.n.01
        desk.n.01_1 desk.n.01_2 - desk.n.01
        keyboard.n.01_1 keyboard.n.01_2 - keyboard.n.01
        mouse.n.04_1 mouse.n.04_2 - mouse.n.04
        legal_document.n.01_1 - legal_document.n.01
        carton.n.02_1 - carton.n.02
        sheet.n.02_1 - sheet.n.02
        pen.n.01_1 - pen.n.01
        book.n.02_1 - book.n.02
        recycling_bin.n.01_1 - recycling_bin.n.01
        folder.n.02_1 - folder.n.02
        rag.n.01_1 - rag.n.01
        dust.n.01_1 - dust.n.01
        floor.n.01_1 - floor.n.01
        agent.n.01_1 - agent.n.01
    )
    
    (:init 
        (ontop computer.n.01_1 desk.n.01_1) 
        (ontop keyboard.n.01_1 desk.n.01_1) 
        (ontop mouse.n.04_1 desk.n.01_1) 
        (ontop computer.n.01_2 desk.n.01_2) 
        (ontop keyboard.n.01_2 desk.n.01_2) 
        (ontop mouse.n.04_2 desk.n.01_2) 
        (ontop legal_document.n.01_1 desk.n.01_1) 
        (ontop carton.n.02_1 desk.n.01_1) 
        (ontop sheet.n.02_1 desk.n.01_2) 
        (ontop pen.n.01_1 desk.n.01_1) 
        (ontop book.n.02_1 desk.n.01_2) 
        (ontop recycling_bin.n.01_1 floor.n.01_1) 
        (ontop folder.n.02_1 desk.n.01_2) 
        (ontop rag.n.01_1 floor.n.01_1) 
        (covered desk.n.01_1 dust.n.01_1) 
        (covered computer.n.01_1 dust.n.01_1) 
        (covered desk.n.01_2 dust.n.01_1) 
        (covered computer.n.01_2 dust.n.01_1) 
        (covered keyboard.n.01_1 dust.n.01_1) 
        (covered mouse.n.04_1 dust.n.01_1) 
        (covered keyboard.n.01_2 dust.n.01_1) 
        (covered mouse.n.04_2 dust.n.01_1) 
        (inroom desk.n.01_1 shared_office) 
        (inroom desk.n.01_2 shared_office) 
        (inroom floor.n.01_1 shared_office) 
        (ontop agent.n.01_1 floor.n.01_1)
    )
    
    (:goal 
        (and 
            (forall 
                (?computer.n.01 - computer.n.01)
                (not
                    (covered ?computer.n.01 ?dust.n.01_1)
                )
            )
            (forall 
                (?desk.n.01 - desk.n.01)
                (not
                    (covered ?desk.n.01 ?dust.n.01_1)
                )
            )
            (forall 
                (?mouse.n.04 - mouse.n.04)
                (not
                    (covered ?mouse.n.04 ?dust.n.01_1)
                )
            )
            (forall 
                (?keyboard.n.01 - keyboard.n.01)
                (not
                    (covered ?keyboard.n.01 ?dust.n.01_1)
                )
            )
            (inside ?sheet.n.02_1 ?carton.n.02_1)
            (inside ?pen.n.01_1 ?carton.n.02_1)
            (inside ?legal_document.n.01_1 ?carton.n.02_1)
            (inside ?book.n.02_1 ?carton.n.02_1)
            (inside ?folder.n.02_1 ?carton.n.02_1)
            (ontop ?recycling_bin.n.01_1 ?floor.n.01_1)
            (ontop ?carton.n.02_1 ?floor.n.01_1)
        )
    )
)

  

Debugging: All Possible Recipes Resulting in Future Synsets

graph TD;