En Inteligencia artificial, "STRIPS" ("St"anford "R"esearch "I"nstitute "P"roblem "S"olver) 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 \langle P, O, I....