Lenguaje de acción

En ciencias de la computación , un lenguaje de acción es un lenguaje para especificar sistemas de transición de estados y se usa comúnmente para crear modelos formales de los efectos de las acciones en el mundo. ^{[ 1 ]} Los lenguajes de acción se usan comúnmente en los dominios de inteligencia artificial y robótica , donde describen cómo las acciones afectan los estados de los sistemas a lo largo del tiempo y pueden usarse para la planificación automatizada .

Los lenguajes de acción se dividen en dos clases: lenguajes de descripción de acciones y lenguajes de consulta de acciones. Ejemplos de los primeros incluyen STRIPS , PDDL , Lenguaje A (una generalización de STRIPS; la parte proposicional del ADL de Pednault ), Lenguaje B (una extensión de A que agrega efectos indirectos , distinguiendo leyes estáticas y dinámicas) y Lenguaje C (que también agrega efectos indirectos y no asume que todo fluido sea automáticamente "inercial"). También existen los lenguajes de consulta de acciones P, Q y R. Existen varios algoritmos diferentes para convertir lenguajes de acción, y en particular, el lenguaje de acción C, en programas de conjuntos de respuestas . ^{[ 2 ] [ 3 ]} Dado que los solucionadores modernos de conjuntos de respuestas utilizan algoritmos SAT booleanos para determinar la satisfacibilidad muy rápidamente , esto implica que los lenguajes de acción también pueden beneficiarse del progreso que se está logrando en el dominio de la resolución SAT booleana.

Todos los lenguajes de acción complementan la definición de un sistema de transición de estados con un conjunto F de fluentes , un conjunto V de valores que los fluentes pueden tomar y una función que mapea S × F a V , donde S es el conjunto de estados de un sistema de transición de estados.

• Lógica temporal lineal
• GOLOG
• Cálculo fluido
• Cálculo de situaciones
• Cálculo de eventos