Language d'action
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.
Ils décrivent comment les actions affectent les états des systèmes au fil du temps et peuvent être utilisés pour la planification automatisée .
Les langages d'action se divisent en deux classes: les langages de description d'action et les langages de requête d'actions. Des exemples des premiers comprennent STRIPS, PDDL, la langue A (une généralisation de bandes, la partie propositionnelle de de Pednault ADL), langue B (une extension d'un ajout d’effets indirects, en distinguant les lois statiques et dynamiques) et du langage C (ce qui ajoute des effets indirects aussi, et ne suppose pas que chaque fluide est automatiquement "inertiel").
Il existe également les langages de requête d'actions P, Q et R. Il existe plusieurs algorithmes différents pour convertir les langages d'action, et en particulier le langage d'action C, pour répondre aux programmes définis . Etant donné que les résolveurs modernes de groupes de réponses utilisent des algorithmes SAT booléens pour déterminer très rapidement la satisfiabilité, cela signifie que les langages d'action peuvent également profiter des progrès réalisés dans le domaine de la résolution booléenne SAT.
