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: Matemáticamente, una instancia de STRIPS es una tupla
, donde: 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
, 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: La función
puede extenderse para secuencias de acciones mediante ecuaciones recursivas: 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.
satisface: 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.