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

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

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

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

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

Планом (решением) такой задачи планирования является последовательность действий (операторов), которая может быть выполнена, начиная с состояния ${\displaystyle I}$, и приведёт в какое-либо из целевых состояний ${\displaystyle 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.

• Обзор системы STRIPS (Проект «Интеллектуальное планирование»)
• STRIPS-формализм в обзоре по языкам планирования (Проект «Интеллектуальное планирование»)

Это заготовка статьи об информационных технологиях и вычислительной технике. Помогите Википедии, дополнив её.

Это примечание по возможности следует заменить более точным.

У этой статьи есть 2 проблемы, помогите их исправить:

В статье есть список источников, но не хватает сносок.

Без сносок сложно определить, из какого источника взято каждое отдельное утверждение. Вы можете улучшить статью, проставив сноски на источники, подтверждающие информацию. Сведения без сносок могут быть удалены. (12 апреля 2015)

Раздел литературы нуждается в оформлении согласно рекомендациям.

Пожалуйста, оформите его согласно образцам здесь. (12 апреля 2015)

Пожалуйста, после исправления проблемы удалите соответствующий шаблон. Узнать, как это сделать, можно на справочной странице.