From fdc8d60b7d9599aa2f27171dbfd9ebeeaff4fd63 Mon Sep 17 00:00:00 2001
From: Antonio Andriella <aandriella@iri.upc.edu>
Date: Thu, 4 Jan 2018 14:22:41 +0100
Subject: [PATCH] problem skt

---
 problem_skt.pddl | 60 ++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 60 insertions(+)
 create mode 100644 problem_skt.pddl

diff --git a/problem_skt.pddl b/problem_skt.pddl
new file mode 100644
index 0000000..039e25f
--- /dev/null
+++ b/problem_skt.pddl
@@ -0,0 +1,60 @@
+(DEFINE (PROBLEM STRIPS-GAMETEST)
+   (:DOMAIN GAME-STRIPS)
+   (:OBJECTS   
+    SOCRATES - ROBOT
+    BOB - PATIENT
+    P1 P2 P3 P4 P5 - BLOCK   
+    L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 - FROM
+    LEV1 LEV2 LEV3 LEV4 - LEVEL
+    RIGHT_HAND - HAND
+    )
+
+(:INIT
+	(USERMOVE P1 L8  L1)
+	(SUGGESTMOVE P1 L8) 
+	(SUGGESTMOVE P1 L9) 
+	(SUGGESTMOVE P1 L7) 
+	(SUGGESTSOLUTION P1 L8)
+	(DEMONSTRATEMOVE P1 L8)
+	(verbalEngagement LEV3)
+	(AT P1 L8)
+	(AT P2 L9)
+	(AT P3 L7)
+	(AT P4 L10)
+	(AT P5 L6)
+	(FREE_LOC L1)
+	(FREE_LOC L2)
+	(FREE_LOC L3)
+	(FREE_LOC L4)
+	(FREE_LOC L5)
+	(PIECE P1)
+	(PIECE P2)
+	(PIECE P3)
+	(PIECE P4)
+	(PIECE P5)
+	(LOC L1)
+	(LOC L2)
+	(LOC L3)
+	(LOC L4)
+	(LOC L5)
+	(LOC L6)
+	(LOC L7)
+	(LOC L8)
+	(LOC L9)
+	(LOC L10)
+	(AGENT BOB)
+	(GRIPPER RIGHT_HAND)
+	(suggestAnswer)
+	(encourageUser)
+	(suggestSubset)
+	(sendTricks)
+	(performDemonstration)
+	(ALLOWEDMOVE P1 L8 L1)
+	(ALLOWEDMOVE P2 L9 L2)
+	(ALLOWEDMOVE P3 L7 L3)
+	(ALLOWEDMOVE P4 L10 L4)
+	(ALLOWEDMOVE P5 L6 L5)
+)
+
+(:GOAL(AND(releasedblock P1 L8  L1)))
+)
-- 
GitLab