Предполагаемая проблема тайм-аута в PDDL (использование функции)

Я начинаю изучать PDDL и создаю домен, в котором 2 агента сражаются друг с другом и имитируют бой, в котором мой герой должен победить и максимизировать свои очки здоровья. Я столкнулся с ошибкой предполагаемого тайм-аута при попытке скомпилировать мой проект на http://editor.planning.domains/

Моя идея состоит в том, чтобы создать некоторые функции для очков жизни, маны или атаки и использовать различные действия/способности для уменьшения здоровья/маны агента, когда они сражаются друг с другом, для этого мне нужно было уменьшить значения и установить цель, при которой вражеский герой убит.

Я начал с этого простого примера, это мой сеанс: http://editor.planning.domains/#read_session=xoSpf2es0Y

План, который я ожидал получить при написании этого кода, состоит в том, чтобы получить 4 атаки ближнего боя, чтобы убить врага.

Могу ли я написать что-то вроде (:goal (= (health arthas) 0)) в проблемном файле? Я не видел ни одного примера PDDL, который бы писал что-то подобное.


person SADBOYS    schedule 17.12.2020    source источник


Ответы (1)


Поэтому, если он немедленно возвращает эту ошибку, это означает, что что-то не так с PDDL (истинный тайм-аут будет около 10 с).

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

Кроме того, вы должны поделиться read_session ссылками на сеансы редактирования, а не edit_session, которые у вас есть (в противном случае вы даете нам всем доступ для редактирования одного сеанса, которым вы поделились).

person haz    schedule 17.12.2020
comment
Спасибо за чаевые! Какой числовой планировщик посоветуете? - person SADBOYS; 17.12.2020
comment
Вероятно, попф был бы способом пойти. nms.kcl.ac.uk/planning/software/popf.html - person haz; 17.12.2020
comment
Я попытался установить popf2 на свою виртуальную машину, но когда я использую команду ./build, я получаю рецепт для целевой «popf3-clp» с ошибкой на 31% Связывание - person SADBOYS; 17.12.2020
comment
Вам придется связаться с авторами для этого... - person haz; 18.12.2020