Mathematically, a STRIPS instance is a quadruple formula_1, in which each component has the following meaning:# formula_2 is a set of "conditions" (i.e., propositional variables);# formula_3 is a set of "operators" (i.e., actions); each operator is itself a quadruple formula_4, each element being a set of conditions.
Выражаясь математически, задача планирования в STRIPS-формализме — это четверка formula_1, компоненты которой имеют следующие значения:# formula_2 — множество "условий" (conditions)# formula_3 — множество "операторов"; каждый оператор в свою очередь является четверкой formula_4.