diff --git a/supermarket-problem.pddl b/supermarket-problem.pddl index 94fa65a..ddaf9c2 100644 --- a/supermarket-problem.pddl +++ b/supermarket-problem.pddl @@ -1,9 +1,9 @@ (define (problem simpleProblem) (:domain simple-supermarket) (:objects -x0 x1 x2 x3 - location +x0 x1 - location a1 - agent -i1 - item +i1 i2 i3 i4 i5 i6 i7 i8 i9 - item c1 - car ) @@ -12,8 +12,16 @@ c1 - car (at a1 x0) (at c1 x0) (at i1 x1) - - +(at i2 x1) +(at i3 x1) +(at i4 x1) +(at i5 x1) +(at i6 x1) +(at i7 x1) +(at i8 x1) +(at i9 x1) + +(hasnotagent c1) (haspath x0 x1) (haspath x1 x0) @@ -25,6 +33,15 @@ c1 - car (:goal (and (at i1 x0) +(at i2 x0) +(at i3 x0) +(at i4 x0) +(at i5 x0) +(at i6 x0) +(at i7 x0) +(at i8 x0) +(at i9 x0) + ) )