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.