Le Stanford Research Institute Problem Solver, plus connus sous son acronyme STRIPS, est un planificateur automatisé développé par Richard Fikes et Nils Nilsson en 1971 à SRI International. 

Un langage d'action est un langage pour spécifier l’état des systèmes de transition, et est couramment utilisé pour créer des modèles formels des effets des actions sur le monde . Les langages d'action sont couramment utilisés dans les domaines de l’intelligence artificielle et de la robotique.