Skip to content

Commit

Permalink
Adding planning PDDL
Browse files Browse the repository at this point in the history
  • Loading branch information
Tushn committed Jan 21, 2020
1 parent 20dad50 commit 3247eb0
Show file tree
Hide file tree
Showing 2 changed files with 34 additions and 0 deletions.
20 changes: 20 additions & 0 deletions Planning/magic world/domain_basic.pddl
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
; http://editor.planning.domains/#edit_session=oy5HKqWaD3ECHzV
; https://github.com/pucrs-automated-planning/heuristic-planning
; https://ai.dmi.unibas.ch/forstudents.html
; https://dmi.unibas.ch/de/studium/computer-science-informatik/lehrangebot-hs19/lecture-planning-and-optimization/#top
(define (domain magic_world)
(:requirements :strips :typing :negative-preconditions :equality)
(:types
character
location
)
(:predicates
(border ?place1 - location ?place2 - location)
(at ?npc - character ?place - location)
)
(:action move
:parameters (?character - character ?place1 - location ?place2 - location)
:precondition (and (at ?character ?place1) (border ?place1 ?place2))
:effect (and (not (at ?character ?place1)) (at ?character ?place2))
)
)
14 changes: 14 additions & 0 deletions Planning/magic world/problem_basic.pddl
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
(define (problem moving_hero)
(:domain magic_world)
(:objects
hero - character
schack swamp forest town - location
)
(:init
(border schack swamp) (border swamp schack)
(border schack forest) (border forest schack)
(border forest town) (border town forest)
(at hero schack)
)
(:goal (at hero town))
)

0 comments on commit 3247eb0

Please sign in to comment.