From 47e17922310f98a723438e749bc1e2b586030688 Mon Sep 17 00:00:00 2001 From: rezan21 Date: Mon, 14 Jan 2019 20:36:15 +0000 Subject: [PATCH] simple Problem file --- supermarket-problem.pddl | 71 +++++++++------------------------------- 1 file changed, 16 insertions(+), 55 deletions(-) diff --git a/supermarket-problem.pddl b/supermarket-problem.pddl index 8d38dc5..d11100b 100644 --- a/supermarket-problem.pddl +++ b/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)) ) - -) - - - - - - - - - - - - - - - - - )