Сатплан

Оглавление1 Спутниковый план1.1 Основы планирования как выполнимости1.2 Процесс решения1.3 Дополнительные ресурсы1.4 Полный текст статьи:2 Сатплан — Википедия Спутниковый план Основы […]

Спутниковый план

  • Основы планирования как выполнимости

    • Satplan – метод автоматизированного планирования, преобразующий задачи планирования в задачи логической выполнимости. 
    • Используется для решения задач планирования с заданными начальными условиями, действиями, целью и горизонтом. 
    • Генерирует формулу, которая выполняется, если существует план с заданной длиной горизонта. 
  • Процесс решения

    • Проверка выполнимости формул для различных длин горизонта, начиная с 0. 
    • Метод аналогичен моделированию машин Тьюринга и доказательству теоремы Кука. 
  • Дополнительные ресурсы

    • Ссылки на публикации H. A. Каутца и Б. Сельмана, расширяющие границы планирования и пропозициональной логики. 
    • Упоминание о книге J. Ринтанена, посвященной планированию и СБ. 
    • Призыв к читателям Википедии помочь расширить статью. 

Полный текст статьи:

Сатплан — Википедия

Оставьте комментарий

Прокрутить вверх