En Inteligencia artificial, STRIPS (Stanford Research Institute Problem Solver) es un generador de planes automatizado. El mismo nombre fue utilizado más tarde para referirse al lenguaje formal de las entradas de este generador de planes.

Una instancia de STRIPS se compone de:

• Un estado inicial.
• La especificación de estados de meta.
• Un conjunto de acciones, para cada una de las cuales se incluyen:
  • Precondiciones.
  • Postcondiciones.

Matemáticamente, una instancia de STRIPS es una tupla ${\displaystyle \langle P,O,I,G\rangle }$, donde:

• ${\displaystyle P}$ es un conjunto de condiciones (es decir, variables proposicionales).
• ${\displaystyle O}$ es un conjunto de operadores (es decir, acciones); cada operador es también una tupla ${\displaystyle \langle \alpha ,\beta ,\gamma ,\delta \rangle }$, donde cada elemento es un conjunto de condiciones:
  • ${\displaystyle \alpha }$ representa a las condiciones que deben ser verdaderas para que la acción pueda ejecutarse.
  • ${\displaystyle \beta }$ representa a las condiciones que deben ser falsas para que la acción pueda ejecutarse.
  • ${\displaystyle \gamma }$ representa a las condiciones se hacen verdaderas si se ejecuta la acción.
  • ${\displaystyle \delta }$ representa a las condiciones se hacen falsas si se ejecuta la acción.
• ${\displaystyle I}$ es el estado inicial, dado por un conjunto de condiciones que son inicialmente verdaderas (todas las demás se asumen falsas).
• ${\displaystyle G}$ es la especificación del estado de meta, que está dada por una dupla ${\displaystyle \langle N,M\rangle }$, que especifica qué condiciones deben ser verdaderas y cuales falsas para considerar a un estado como meta.

Un plan para una instancia es una secuencia de operadores que puede ser ejecutada desde el estado inicial, y que lleva hasta un estado meta.

Formalmente, un estado es un conjunto de condiciones, y se representa por el conjunto de condiciones que son verdaderas en él. Las transiciones entre estados se modelan mediante una función de transición, que es una función que mapea estados en otros estados que resultan de aplicarles acciones a los primeros. Ya que los estados se representan por conjuntos de acciones, la función de transición emparentada con la instancia STRIPS ${\displaystyle \langle P,O,I,G\rangle }$ es una función:

${\displaystyle \operatorname {sucesor} :2^{P}\times A\rightarrow 2^{P},}$

donde ${\displaystyle 2^{P}}$ es el conjunto de todos los subconjuntos de ${\displaystyle P}$, y por lo tanto es el conjunto de todos los posibles estados.

La función de transición puede definirse, asumiendo que las acciones siempre pueden ser ejecutadas pero no tienen efecto si sus precondiciones no se cumplen, como:

${\displaystyle \operatorname {sucesor} (C,\langle \alpha ,\beta ,\gamma ,\delta \rangle )}$	= ${\displaystyle (C\backslash \delta )\cup \gamma }$	Si ${\displaystyle (\alpha \subseteq C/and\beta \cap C=\varnothing )}$
	= ${\displaystyle P}$	De otra forma

La función ${\displaystyle \operatorname {sucesor} }$ puede extenderse para secuencias de acciones mediante ecuaciones recursivas:

${\displaystyle \operatorname {sucesor} (C,[\,\,])=C}$

${\displaystyle \operatorname {sucesor} (C,[a_{1},a_{2},\ldots ,a_{n}])=\operatorname {sucesor} (\operatorname {sucesor} (C,a_{1}),[a_{2},\ldots ,a_{n}])}$

Un plan para una instancia de STRIPS es una secuencia de acciones cuya ejecución ordenada produce un estado que satisface las condiciones de meta, a partir del estado inicial. Formalmente, ${\displaystyle [a_{1},a_{2},\ldots ,a_{n}]}$ es un plan para ${\displaystyle G=\langle N,M\rangle }$ si ${\displaystyle F=\operatorname {sucesor} (I,[a_{1},a_{2},\ldots ,a_{n}])}$ satisface:

• ${\displaystyle N\subseteq F}$
• ${\displaystyle M\cap F=\varnothing }$

Hay un mono en el laboratorio, y quiere bananas. Hay tres ubicaciones en el laboratorio: A, B y C. El mono está en la ubicación A. Hay una caja en la ubicación C. Hay bananas en la ubicación B, pero cuelgan del techo. El mono necesita la caja para alcanzar todas las bananas.

Estado inicial	MonoEn(A) NivelMono(abajo) CajaEn(C) BananasEn(B)
Estado meta	MonoTiene(Bananas)
Acciones	Acción Descripción Precondición Poscondición Ir(X, Y) Ir de X a Y MonoEn(X), NivelMono(abajo) ${\displaystyle \neg }$MonoEn(X), MonoEn(Y) Trepar(X) Subirse a la caja en la ubicación X MonoEn(X), CajaEn(X), NivelMono(Abajo) ${\displaystyle \neg }$NivelMono(Abajo), NivelMono(Arriba) Bajarse(X) Bajarse de la caja en la ubicación X MonoEn(X), CajaEn(X), NivelMono(Arriba) ${\displaystyle \neg }$NivelMono(Arriba), NivelMono(Abajo) LlevarCaja(X, Y) Llevar la caja de X a Y MonoEn(X), CajaEn(X), NivelMono(Abajo) ${\displaystyle \neg }$CajaEn(X), CajaEn(Y), ${\displaystyle \neg }$MonoEn(X), MonoEn(Y) TomarBananas(X) Tomar las bananas en la ubicación X MonoEn(X), BananasEn(X), NivelMono(Arriba) MonoTiene(Bananas)