Ошибка «Необъявленные требования» при запуске файла проблемы с планировщиком

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

Вот список требований, поддерживаемых 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/

Answer 2

Какой планировщик вы используете?

:typing

означает, что домен использует типы, которые вы определили ниже.Но, насколько мне известно, требование

:types

не существует и должно использоваться только в качестве ключевого слова для реальных типов.Поэтому вам, вероятно, нужно удалить: types из раздела требований.

Также обратите внимание, что большинство планировщиков достаточно устойчивы к отсутствующим тегам требований.Поэтому иногда полезно пропустить некоторые из них.