Skip to content

Commit

Permalink
updates domain and problem
Browse files Browse the repository at this point in the history
  • Loading branch information
rezan21 committed Jan 14, 2019
1 parent ec059c5 commit f2aa223
Show file tree
Hide file tree
Showing 2 changed files with 32 additions and 6 deletions.
4 changes: 2 additions & 2 deletions supermarket-domain.pddl
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@

(:durative-action pick
:parameters (?i - item ?a - agent ?l - location)
:duration (= ?duration 5)
:duration (= ?duration 100)
:condition(
and(over all(at ?a ?l)) (at start(at ?i ?l))
)
Expand All @@ -30,7 +30,7 @@ and(over all(at ?a ?l)) (at start(at ?i ?l))

(:durative-action drop
:parameters (?i - item ?a - agent ?l - location)
:duration (= ?duration 5)
:duration (= ?duration 100)
:condition(and(over all(at ?a ?l)) (at start(on ?i ?a))
)
:effect(and (at start(not (on ?i ?a))) (at end(at ?i ?l)))
Expand Down
34 changes: 30 additions & 4 deletions supermarket-problem.pddl
Original file line number Diff line number Diff line change
@@ -1,15 +1,31 @@
(define (problem simpleProblem)
(:domain simple-supermarket)
(:objects
x1 x2 x3 - location
x1 x2 x3 x0 - location
a1 - agent
i1 i2 - item
i1 i2 i3 i4 i5 i6 i7 i8 i9 - item

)
(:init

(at a1 x3)
(at a1 x0)

(at i1 x1)
(at i2 x1)
(at i3 x1)
(at i4 x2)
(at i5 x2)
(at i6 x2)
(at i7 x3)
(at i8 x3)
(at i9 x3)

(haspath x0 x1)
(haspath x1 x0)
(haspath x0 x2)
(haspath x2 x0)
(haspath x0 x3)
(haspath x3 x0)
(haspath x1 x2)
(haspath x2 x3)
(haspath x2 x1)
Expand All @@ -18,7 +34,17 @@ i1 i2 - item
)
(:goal
(and
(at i1 x3)
(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)


)
)
)

0 comments on commit f2aa223

Please sign in to comment.