Описание тега pddl

Описание тега Вопросы с тегом
Язык определения домена планирования используется для определения моделей предметной области планирования, используемых механизмами планирования ИИ. Используйте этот тег для вопросов о моделировании в синтаксисе PDDL, анализе моделей PDDL, интерпретации конструкций, допускаемых синтаксисом PDDL, и о широко используемых инструментах, таких как VAL/Validate, или о хорошо известных реализациях планировщика.
1 ответ

PDDL Graphplan не может найти план

Я написал домен и тестовую проблему в PDDL, но, очевидно, реализация graphplan не может найти план. Вот домен: (define (domain aperture) (:requirements :strips :typing :negative-preconditions) (:types cube hallway room - location ) (:predicates (at …
15 окт '14 в 03:44
2 ответа

Использование PDDL или эквивалентного языка / систем планирования

Я хочу сделать несколько автоматических демонстраций генерации историй, и подход, который я использую, использует планирование искусственного интеллекта. Я прочитал несколько соответствующих статей и выяснил, что PDDL, пожалуй, наиболее широко испол…
25 июн '13 в 16:51
1 ответ

Максимизировать функцию в PDDL

Я пытаюсь решить игру (с одним агентом) с помощью планировщика, используя язык описания pddl. Моя цель - получить как можно больше очков за доставку предметов людям в мире. Функция (puntos) приведена в следующем описании действия: (:action dar :para…
23 июн '16 в 12:13
1 ответ

Почему pddl находит решение неполным

Ниже приведена небольшая часть проблемы перехода через реку, написанная на pddl. Я пытался найти решение в двух разных инструментах (editor.planning.domains и stripsfiddle.herokuapp.com), но оба они дали один и тот же результат. ;domain; (define (do…
20 дек '18 в 22:33
1 ответ

PDDL - Коза, Волк и Капуста

Меня попросили написать решение для знаменитого скернарио "Коза, волк и капуста". Сценарий выглядит следующим образом: Фермер хочет перевезти всех троих через реку. Однако если: Козу и капусту оставляют в покое, козочка съест капусту Если волк и коз…
25 апр '16 в 16:24
2 ответа

Использование арифметического сравнения в качестве предварительного условия в PDDL

Я искал способ установить сравнение в качестве предварительного условия для действия в PDDL. Есть ли способ сказать, например: (:functions (goal)) (:action CheckLoser :parameters (?team) :precondition (> goals 5) :effect (loses ?team) )
20 сен '17 в 18:34
1 ответ

В чем разница между Link и Path в PDDL?

В домене driverlog в PDDL мы указали ссылки и пути. (define (domain driverlog) (:requirements :typing) (:types location locatable - object driver truck obj - locatable ) (:predicates (at ?obj - locatable ?loc - location) (in ?obj1 - obj ?obj - truck…
31 янв '18 в 22:16
1 ответ

Планировщик STRIPS не компилируется

Я работал над проектом об известной проблеме лиса-гусь-бобы-фермер. Я пытаюсь реализовать это на основе браузера компилятор, который является https://stripsfiddle.herokuapp.com/. Все функции, кроме moveFoxAcross и moveFoxBack, работают. Я не мог вид…
13 дек '18 в 15:38
1 ответ

PDDL: точное значение эффектов и условий в длительных действиях

В PDDL 2.1 durative-actionс были введены. Они описаны (среди прочих) с conditonс и effects. Оба могут быть определены at start/at end, condition также over all, Я нашел следующий документ, довольно подробно описывающий PDDL 2.1: pddl2.1: Расширение …
07 сен '18 в 08:41
1 ответ

Как получить причинный граф задачи в pddl, используя быстрый нисходящий

Как я могу получить причинный график проблемы, когда у меня есть PDDL домена и PDDL проблемы, используя быстрый нисходящий?
10 сен '18 в 18:49
1 ответ

Увеличить MAX_TYPES в Metric-FF

Я использую планировщик Metric-FF. После определения проблемы и файлов домена я получаю сообщение об ошибке "слишком много (предполагаемых) типов! Увеличить MAX_TYPES (в настоящее время 50)". У меня есть много типов, указанных (и может потребоваться…
13 июл '16 в 15:29
1 ответ

Возможно ли сравнение типов в PDDL?

Например, если я объявлю типы как таковые: :types bag light heavy - bag То есть есть два типа сумок, легкие и тяжелые. Возможно ли в рамках действия проверить, имеет ли переменная типа bag тип light, не имея экземпляра light для сравнения? Я знаю, ч…
29 окт '17 в 20:21
1 ответ

Можно ли получить несколько планов от реализации PDDL?

Я пытаюсь написать программу, которая может решить лабиринт в PDDL, например, с помощью Graphplan. Из примеров, которые я видел в интернете, можно найти решение проблемы (например, PDDL Graphplan не может найти план), но только один. У меня есть нек…
06 окт '16 в 12:30
1 ответ

Не могу найти решение для поиска пути робота

Я новичок в PDDL. Мне нужно найти решение, где робот может помещать разные объекты в разные ячейки назначения. Я использую программное обеспечение с http://www.fast-downward.org/. Однако проблема в том, что мои действия не могут найти решение, как т…
23 апр '16 в 05:58
0 ответов

Ограничения времени и памяти как параметры в Metric-FF

При запуске Metric-FF он не отображает никаких ограничений по времени или памяти в качестве возможных входных параметров. У меня вопрос, возможно ли ввести их в качестве входных параметров при запуске планировщика? Указанный планировщик следующий: h…
18 сен '16 в 15:34
1 ответ

В чем разница между поднятым представлением и обоснованным представлением?

В чем разница между этими двумя представлениями о проблеме планирования?
11 сен '18 в 05:21
2 ответа

Зачем нам PDDL, когда у нас уже есть логика первого порядка?

Это может быть совершенно наивный вопрос, но мне интересно знать конкретные причины. Почему PDDL был разработан в первую очередь? Почему мы не можем рассуждать, используя First Order Logic?
22 сен '11 в 05:59
0 ответов

Случайное движение в PDDL

Я хочу поместить случайных птиц в мою программу планирования искусственного интеллекта с помощью PDDL. Мой вопрос, как сделать случайные движения для птиц? Я очень новичок в PDDL, поэтому я ценю, если вы могли бы объяснить с базовых знаний.
12 янв '19 в 15:58
0 ответов

Метрика (общая стоимость) не минимизирована с Metric-FF

Я пытаюсь использовать Metric-FF (v2.1) для решения классической задачи планирования. Я заметил, что мои планы не были оптимальными и начал играть с минимизацией затрат. Я понял, что планировщик, кажется, не принимает во внимание стоимость, несмотря…
30 авг '16 в 20:22
1 ответ

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

Мне нужно создать план в PDDL, чтобы посетить подмножество из n мест, каждое из которых имеет оценку. Мне нужно максимизировать полезность, которая определяется как сумма каждого отдельного балла. Как мне представить этот домен в PDDL? В частности, …
19 фев '17 в 14:05