Оглавление
Спутниковый план
-
Основы планирования как выполнимости
- Satplan – метод автоматизированного планирования, преобразующий задачи планирования в задачи логической выполнимости.
- Используется для решения задач планирования с заданными начальными условиями, действиями, целью и горизонтом.
- Генерирует формулу, которая выполняется, если существует план с заданной длиной горизонта.
-
Процесс решения
- Проверка выполнимости формул для различных длин горизонта, начиная с 0.
- Метод аналогичен моделированию машин Тьюринга и доказательству теоремы Кука.
-
Дополнительные ресурсы
- Ссылки на публикации H. A. Каутца и Б. Сельмана, расширяющие границы планирования и пропозициональной логики.
- Упоминание о книге J. Ринтанена, посвященной планированию и СБ.
- Призыв к читателям Википедии помочь расширить статью.