p04798526
/
bddl
mirror of https://github.com/StanfordVL/bddl.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'verified_problems' of https://github.com/sanjanasrivastava/TaskNet into verified_problems 

Former-commit-id: 1b9087851fd8700ff4902ee75bdfef1529face3b [formerly 1b9087851fd8700ff4902ee75bdfef1529face3b [formerly 1b9087851fd8700ff4902ee75bdfef1529face3b [formerly 13e74c2367]]]
Former-commit-id: 6a0c89869f1d82f54e959728b1fc972238590055
Former-commit-id: 3ae31e219ca2bb399a2cd09017e760f47badddad
Former-commit-id: 7d1b205f55c68cd2897d6544d9ab4a4514693a0f
This commit is contained in:
Chengshu Li 2021-06-22 19:12:48 -07:00
parent 718b5f4fe3 cedb1807a8
commit 2731c9e200
2 changed files with 27 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
tasknet/task_conditions/lifting_cauldron/problem0.pddl Normal file
View File

@ -0,0 +1,23 @@
(define (problem lifting_cauldon)
(:domain igibson)
(:objects
caldron.n.01_1 - caldron.n.01
table.n.02_1 - table.n.02
floor.n.01_1 - floor.n.01
agent.n.01_1 - agent.n.01
)
(:init
(onfloor caldron.n.01_1 floor.n.01_1)
(inroom table.n.02_1 living_room)
(inroom floor.n.01_1 living_room)
(onfloor agent.n.01_1 floor.n.01_1)
)
(:goal
(and
(ontop caldron.n.01_1 table.n.02_1)
)
)
)

8
tasknet/task_conditions/loading_the_dishwasher/problem0.pddl
View File

@ -34,13 +34,13 @@
(and
(forall
(?plate.n.04 - plate.n.04)
(inside ?plate.n.04_1 ?dishwasher.n.01_1)
(inside ?plate.n.04 ?dishwasher.n.01_1)
)
(forall
(?bowl.n.01 - bowl.n.01)
(inside ?bowl.n.01_1 ?dishwasher.n.01_1)
(inside ?bowl.n.01 ?dishwasher.n.01_1)
)
(inside ?bowl.n.01_1 ?dishwasher.n.01_1)
(inside ?mug.n.04_1 ?dishwasher.n.01_1)
)
)
)
)