simple Problem file

supermarket-problem.pddl

@@ -1,63 +1,24 @@
-(define (domain simple-supermarket)
-(:requirements :strips :typing :numeric-fluents :durative-actions :conditional-effects)
-(:types
-  location agent item - object
+(define (problem simpleProblem)
+(:domain simple-supermarket)
+(:objects
+x1 x2 x3 - location
+a1  - agent
+i1 i2 - item
 
 )
-(:predicates
-(at ?o - object ?l - location)
-;(notat ?a - agent ?l - location)
-;(agentfree ?a - agent)
-;(agentnotfree ?a - agent)
-;(agentfull ?a - agent)
-;(agentnotfull ?a -agent)
-(on ?i - item ?a - agent)
-;(noton ?i - item ?a - agent)
-(haspath ?from - location ?to - location)
+(:init
 
+(at a1 x3)
+(at i1 x1)
+(haspath x1 x2)
+(haspath x2 x3)
+(haspath x2 x1)
+(haspath x3 x2)
 
 )
-
-
-(:durative-action pick
-:parameters (?i - item ?a - agent ?l - location)
-:duration (= ?duration 5)
-:condition(
-and(over all(at ?a ?l)) (at start(at ?i ?l))
+(:goal
+(and
+(at i1 x3)
 )
-:effect(and (at start(not (at ?i ?l))) (at end(on ?i ?a)))
-)
-
-(:durative-action drop
-:parameters (?i - item ?a - agent ?l - location)
-:duration (= ?duration 5)
-: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)))
-)
-
-(:durative-action move
-:parameters (?a - agent ?from - location ?to - location)
-:duration(= ?duration 10)
-:condition(and (at start(at ?a ?from))(over all(haspath ?from ?to)))
-:effect(and(at start(not(at ?a ?from)) )(at end(at ?a ?to)) )
-
-)
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
 )