PDDL-汉诺塔经典规划问题
汉诺塔问题的描述如上图所示,其PDDL为:
domain 文件:
(define (domain hanoi)
(:requirements :strips)
(:predicates (disk ?x)(on ?x ?y)(smaller ?x ?y)(clear ?x))
(:action move
:parameters (?disk ?from ?to)
:precondition (and (disk ?disk)
(on ?disk ?from)
(clear ?to)
(smaller ?disk ?to)(smaller ?disk ?from))
:effect (and (on ?disk ?to)(not (on ?disk ?from)
(clear ?from)(not (clear ?to))))
)
problem 文件:
(define (domain tower)
(:domain hanoi)
(:objects d1 d2 d3 p1 p2 p3)
(:init (disk d1)(disk d2)(disk d3)
(peg p1)(peg p2)(peg p3)
(on d1 d2)(on d2 d3)(on d3 p1)(on d1 p1)(on d2 p1)
(smaller d1 d2)(smaller d2 d3)(smaller d3 p1)
(smaller d1 p1)(smaller d2 p1)(smaller d3 p2)
(smaller d1 p2)(smaller d2 p2)(smaller d3 p3)
(smaller d1 p3)(smaller d2 p3)
(smaller d1 d3)
(clear d1)(clear p1)(clear p2))
(:goal (and (on d1 d2)(on d2 d3)(on d3 p3)))
)
各位观众老爷,给个赞再走吧~~