Как хранить математические значения в PDDL?

Question

Мне нужно создать план в PDDL, чтобы посетить подмножество n мест, каждый из которых имеет оценку. Мне нужно максимизировать полезность, которая определяется как сумма каждого отдельного счета. Как я могу представить этот домен в PDDL? В частности, как мне хранить счет за каждое место?

Answer 1

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

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

Вы просто добавить действие увеличение-план качество следующего вида (место): (1) в каждом месте его исполняемый ровно один раз (2) в (3) эффекты повышают качество плана на счет этого местоположения

Затем вам нужно всего лишь установить метрику плана, чтобы максимизировать и увеличить ее, если она находится в этом месте (3) вы сделали.

Почему это работает? (A) Если ваш агент находится в определенном месте, максимальная метрика заставит планировщика применить действие, которое повышает качество (из-за (2) это действие применимо) (B) Эти дополнительные действия не могут выполнить неправильный план качества, так как из-за (1) каждое такое действие применимо только один раз за место. Единственное, что может случиться, это то, что вы посетили место, но планировщик не применяет действие, которое увеличивает качество плана (хотя оно может это сделать). Но это выбор планировщика и довольно маловероятно, я думаю.

Другой возможностью было бы опираться на так называемые затраты на действие, зависящие от государства. Но эта концепция является совершенно новой (около 2 лет, если я правильно помню), поэтому я думаю, что есть только ограниченное количество планировщиков, которые могут их обрабатывать, и я также предполагаю, что нужен специальный синтаксис, который не является частью стандартного PDDL Спецификация.