В чем разница между поднятым представлением и обоснованным представлением?
В чем разница между этими двумя представлениями о проблеме планирования?
1 ответ
Обоснованное представление ограничивает правила планирования логикой высказываний: нет переменных, простое условие => действуют правила.
Поднятое представление расширяет это до простого FOPC (исчисления предикатов первого порядка), в котором вы получаете переменные, предикаты (простые функции состояния) и простые операции (такие как отрицание).
Достаточно ли раздела для ваших целей?