Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
perception
skt_planning_domain
Commits
6234d087
Commit
6234d087
authored
May 30, 2017
by
Antonio Andriella
Browse files
commit problem and domain definition
parent
3a9f1f2b
Changes
1
Hide whitespace changes
Inline
Side-by-side
problem_definition.pddl
View file @
6234d087
...
...
@@ -2,42 +2,17 @@
(:DOMAIN GAME-STRIPS)
(:OBJECTS ROBOT HUMAN P1 P2 P3 P4 P5 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 HAND)
(:INIT
(SUGGESTEDMOVE P2 L3)
(SUGGESTEDMOVE P2 L1)
(SUGGESTEDMOVE P2 L2)
(verbalEngagement)
(verbalEngagement_2)
;FIRST STEP
; (demonstrationEngagement)
; (demonstrationEngagement_1)
; (demonstrationEngagement_2)
; (demonstrationEngagement_3)
; ;SECOND_STEP
; (USERMOVE_1 P1 L2)
; ;THIRD_STEP
; (SUGGESTEDMOVE P1 L2)
; (SUGGESTEDMOVE P1 L1)
; (SUGGESTEDMOVE P1 L3)
(SUGGESTEDMOVE P2 L3)
(SUGGESTEDMOVE P2 L1)
(SUGGESTEDMOVE P2 L2)
(verbalEngagement)
(verbalEngagement_2)
(PIECE P1)
(PIECE P2)
(PIECE P3)
(PIECE P4)
(PIECE P5)
(PIECE P5)
(LOCATION L1)
(LOCATION L2)
(LOCATION L3)
...
...
@@ -60,13 +35,7 @@
(AT P1 L8)
(AT P2 L9)
(AT P4 L10)
(AT P5 L6)
;;Predicate used for all the behaviour
(AT P5 L6)
(suggestAnswer)
(encourageUser)
(suggestSubset)
...
...
@@ -83,21 +52,8 @@
)
(:GOAL(waitForUserMove_2))
;(:GOAL(DEBUG))
)
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment