GOLOG

GOLOG es un lenguaje de programación lógica de alto nivel para la especificación y ejecución de acciones complejas en dominios dinámicos. Se basa en el cálculo de situaciones . Es un lenguaje lógico de primer orden para razonar sobre acciones y cambios. GOLOG fue desarrollado en la Universidad de Toronto . ^{[ 1 ] [ 2 ]}

El concepto de cálculo de situaciones en el que se basa el lenguaje de programación GOLOG fue propuesto por primera vez por John McCarthy en 1963. ^{[ 3 ]}

Un intérprete de GOLOG mantiene automáticamente una caracterización directa del mundo dinámico que se está modelando, basándose en axiomas proporcionados por el usuario sobre las precondiciones, los efectos de las acciones y el estado inicial del mundo. Esto permite que la aplicación razone sobre la condición del mundo y considere los impactos de diferentes acciones potenciales antes de centrarse en una acción específica. ^{[ 4 ]}

Golog es un lenguaje de programación lógica , muy diferente de los lenguajes de programación convencionales. Un lenguaje de programación procedimental como C define la ejecución de las instrucciones de antemano. El programador crea una subrutina compuesta por instrucciones, y el ordenador ejecuta cada instrucción en orden secuencial. En cambio, los lenguajes de programación de quinta generación como Golog trabajan con un modelo abstracto que permite al intérprete generar la secuencia de acciones. El código fuente define el problema y es el solucionador quien debe determinar la siguiente acción. Este enfoque facilita la gestión de problemas complejos en el ámbito de la robótica.

Un programa Golog define el espacio de estados en el que el agente puede operar. Se encuentra una ruta en el dominio simbólico mediante la búsqueda en el espacio de estados . Para acelerar el proceso, los programas Golog se implementan como redes de tareas jerárquicas . ^{[ 5 ]}

Además del lenguaje Golog original, existen algunas extensiones disponibles. El lenguaje ConGolog proporciona concurrencia e interrupciones. Otros dialectos, como IndiGolog y Readylog, se crearon para aplicaciones en tiempo real en las que las lecturas de los sensores se actualizan sobre la marcha. ^{[ 6 ]}

Golog se ha utilizado para modelar el comportamiento de agentes autónomos. Además de un formalismo de acciones basado en la lógica para describir el entorno y los efectos de las acciones básicas, permite la construcción de acciones complejas utilizando construcciones típicas de lenguajes de programación.

También se utiliza para aplicaciones en el control de alto nivel de robots y procesos industriales , agentes virtuales, simulación de eventos discretos , etc. ^{[ 7 ]} También se puede utilizar para desarrollar sistemas de agentes del estilo Creencia, Deseo e Intención . ^{[ 8 ]}

A diferencia del lenguaje de definición de dominio de planificación , Golog también admite planificación y scripting. ^{[ 9 ] [ 10 ]} La planificación implica que se define un estado objetivo en el modelo del mundo, y el solucionador lleva un sistema lógico a este estado. El scripting de comportamiento implementa procedimientos reactivos, que se ejecutan como un programa informático. ^{[ 11 ]}

Por ejemplo, supongamos que la idea es escribir una historia. El usuario define qué debería ser cierto al final de la trama . Un solucionador se pone en marcha y aplica las acciones posibles a la situación actual hasta alcanzar el estado objetivo. La especificación del estado objetivo y las acciones posibles se realizan en el modelo lógico del mundo. ^{[ 12 ]}

En cambio, un comportamiento reactivo cableado no necesita un solucionador, sino que la secuencia de acciones se proporciona en un lenguaje de scripting . ^{[ 13 ]} El intérprete de Golog , que está escrito en Prolog, ^{[ 14 ]} ejecuta el script y esto llevará la historia al estado objetivo.