STRIPS
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.
Le même nom a ensuite été utilisé pour désigner le langage formel des entrées de ce plan. C’est cette langue qui sert de base à la plupart des langues pour exprimer les instances de problèmes de planification automatisées utilisées de nos jours; ces langues sont communément appelées langues d'action. Cet article décrit uniquement la langue, pas le planificateur.