Commit fdc8d60b authored by Antonio Andriella's avatar Antonio Andriella
Browse files

problem skt

parent 901f3916
(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)))
)
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment