PDDL 语法错误,“:DURATIVE-ACTIONS”:需要域定义
PDDL syntax error, ':DURATIVE-ACTIONS' : domain definition expected
我正在为具有持续性操作的域文件建模。我正在使用 VS Code 的 PDDL 插件。代码没有任何语法错误问题。 Planner 来自 HTTP://solver.planning.domains/solve return 一个错误
/tmp/solver_planning_domains_tmp_41rdIKx0z0gCb/domain.pddl: syntax error in line 5, ':DURATIVE-ACTIONS': domain definition expected Failed to parse the problem -- list index out of range
完整的域文件大到post这里,所以相关部分代码是:
感谢您的帮助。
(define (domain test)
(:requirements :strips :typing :fluents :durative-actions :duration-inequalities :negative-preconditions :equality )
(:types
getbot - robot
wp0 wp1 charging_station object_location - location
a1 a2 a3 - area
bat1 charger - power
gripper
obj- object
)
(:predicates
;General predicates
(robot-at ?rb - robot ?l - location)
(location-situated ?l - location ?a - area) ;location situated in which area
;Gripper related predicates
(object-found ?o - object)
(object-at ?o - object ?obj_loc - location)
(object-placed ?o - object ?obj_loc - location)
(gripper-empty ?rb - robot ?gr - gripper)
(holding-object ?rb - robot ?o - object)
提前致谢
该服务器上的规划器不支持持续性操作。
我正在为具有持续性操作的域文件建模。我正在使用 VS Code 的 PDDL 插件。代码没有任何语法错误问题。 Planner 来自 HTTP://solver.planning.domains/solve return 一个错误
/tmp/solver_planning_domains_tmp_41rdIKx0z0gCb/domain.pddl: syntax error in line 5, ':DURATIVE-ACTIONS': domain definition expected Failed to parse the problem -- list index out of range
完整的域文件大到post这里,所以相关部分代码是: 感谢您的帮助。
(define (domain test)
(:requirements :strips :typing :fluents :durative-actions :duration-inequalities :negative-preconditions :equality )
(:types
getbot - robot
wp0 wp1 charging_station object_location - location
a1 a2 a3 - area
bat1 charger - power
gripper
obj- object
)
(:predicates
;General predicates
(robot-at ?rb - robot ?l - location)
(location-situated ?l - location ?a - area) ;location situated in which area
;Gripper related predicates
(object-found ?o - object)
(object-at ?o - object ?obj_loc - location)
(object-placed ?o - object ?obj_loc - location)
(gripper-empty ?rb - robot ?gr - gripper)
(holding-object ?rb - robot ?o - object)
提前致谢
该服务器上的规划器不支持持续性操作。