STRIPS
Войти  |  Регистрация
Авторизация
» » STRIPS

STRIPS



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

Определение

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

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

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

  • P {displaystyle P} — множество условий (conditions)
  • O {displaystyle O} — множество операторов; каждый оператор в свою очередь является четверкой ⟨ α , β , γ , δ ⟩ {displaystyle langle alpha ,eta ,gamma ,delta angle } . Все элементы четверки являются множествами. В порядке очерёдности, это условия, которые:
  • должны быть удовлетворены перед выполнением операции
  • должны быть нарушены (чтобы выполнение операции имело смысл)
  • удовлетворяемые данной операцией
  • нарушаемые данной операцией
  • I {displaystyle I} — начальное состояние — набор условий, которые считаются уже удовлетворенными (все прочие условия считаются неудовлетворенными);
  • G {displaystyle G} — спецификация конечной цели; задается парой ⟨ N , M ⟩ {displaystyle langle N,M angle } , которая определяет, какие условия должны быть удовлетворены и нарушены, чтобы цель считалась достигнутой.
  • Планом (решением) такой задачи планирования является последовательность действий (операторов), которая может быть выполнена, начиная с состояния I {displaystyle I} , и приведёт в какое-либо из целевых состояний G {displaystyle G} .


    Добавлено Admin 18-12-2020, 14:14 Просмотров: 10
    Добавить комментарий
    Ваше Имя:
    Ваш E-Mail:
    • bowtiesmilelaughingblushsmileyrelaxedsmirk
      heart_eyeskissing_heartkissing_closed_eyesflushedrelievedsatisfiedgrin
      winkstuck_out_tongue_winking_eyestuck_out_tongue_closed_eyesgrinningkissingstuck_out_tonguesleeping
      worriedfrowninganguishedopen_mouthgrimacingconfusedhushed
      expressionlessunamusedsweat_smilesweatdisappointed_relievedwearypensive
      disappointedconfoundedfearfulcold_sweatperseverecrysob
      joyastonishedscreamtired_faceangryragetriumph
      sleepyyummasksunglassesdizzy_faceimpsmiling_imp
      neutral_faceno_mouthinnocent