使用计划程序运行问题文件时出现“未声明的要求”错误

Question

即使我已经在域文件中声明了问题，但使用计划程序运行问题文件时，仍然出现“未声明的要求：类型”错误

我的域文件中的要求：

    (:requirements :typing :types :durative-actions :fluents :numeric-fluents)
    (:types patient surgeon rooms speciality injury)

在我的问题文件中：

    (define (problem surgery)
    (:domain emergency_room)
    (:objects 
         patient1 patient2 patient3 - patient
         surgeon1 surgeon2 surgeon3 - surgeon
         trauma dental cardio - speciality
         heart tooth accident - injury)

Answer 1

您使用哪个规划师？

:typing

表示域使用您在下面定义的类型。但据我所知，

:types

要求不存在，只能用作实际类型的关键字。因此，您可能需要从需求部分删除：types。

还请注意，大多数计划人员对于缺少需求标签都非常有力。因此，有时最好忽略其中的一些。

Answer 2

以下是PDDL 1.2支持的要求列表

https://nergmada.github.io/pddl-reference/reference/PDDL/domain.html#requirements

实际上，:typing是计划者的要求，:types是用于在PDDL 域中声明对象类型的关键字。

对于更高版本的PDDL所规定的要求，请在此页面上搜索 PDDL x.y要求列表。

https://nergmada.github.io/pddl-reference/