ФЭНДОМ


STRIPS (Stanford Research Institute Problem Solver) — это автоматический планировщик, разработанный Ричардом Файксом и Нильсом Нилсоном в 1971. В последующем слово STRIPS стало также использоваться для обозначения формального языка, описывающего входные данные этого планировщика. Этот язык является основой большинства современных языков описания задач автоматического планирования. Данная статья описывает только язык (так называемый STRIPS-формализм), а не сам планировщик.

Определение Править

Описание задачи планирования на языке STRIPS включает в себя следующие компоненты:

  • Начальное состояние;
  • Определение целевых состояний — ситуаций, которые планировщик пытается достичь;
  • Набор возможных действий (операторов). Каждое действие включает:
    • предусловия (preconditions) — предварительное условие, которое должно быть удовлетворено, чтобы действие могло быть выполнено;
    • постусловия (postconditions) — изменения состояния, которые произойдут после выполнения действия.

Выражаясь математически, задача планирования в STRIPS-формализме — это четверка \langle P,O,I,G \rangle, компоненты которой имеют следующие значения:

  1. P — множество условий (conditions)
  2. O — множество операторов; каждый оператор в свою очередь является четверкой \langle \alpha, \beta, \gamma, \delta \rangle. Все элементы четверки являются множествами. В порядке очередности, это условия, которые:
    1. должны быть удовлетворены перед выполнением операции
    2. должны быть неудовлетворены (чтобы выполнение операции имело смысл)
    3. удовлетворяемые данной операцией
    4. нарушаемые данной операцией
  3. I — начальное состояние — набор условий, которые считаются уже удовлетворенными (все прочие условия считаются неудовлетворенными);
  4. G — спецификация конечной цели; задается парой \langle N,M \rangle, которая определяет, какие условия должны быть удовлетворенны и неудовлетворенны, чтобы цель считалась достигнутой.

Планом (решением) такой задачи планирования является последовательность действий (операторов), которая может быть выполнена, начиная с состояния I, и приведет в какое-либо из целевых состояний G.

Пример задачи Править

Общий алгоритм Править

Рекомендуемая литература Править

  • R. Fikes and N. Nilsson (1971). STRIPS: a new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2:189-208.

Ссылки Править


Обнаружено использование расширения AdBlock.


Викия — это свободный ресурс, который существует и развивается за счёт рекламы. Для блокирующих рекламу пользователей мы предоставляем модифицированную версию сайта.

Викия не будет доступна для последующих модификаций. Если вы желаете продолжать работать со страницей, то, пожалуйста, отключите расширение для блокировки рекламы.