La lógica agentiva, también llamada lógica de la acción o lógica de la agencia, es una rama de la lógica filosófica y de la lógica en la informática que estudia las representaciones formales de los agentes, sus acciones y sus capacidades. En su sentido más estricto, una lógica agentiva es un sistema formal cuyos operadores primitivos expresan que un agente hace algo, puede hacer algo o se asegura de que algo sea el caso. Estas lógicas generalizan la lógica modal añadiendo modalidades indexadas a agentes y acciones, permitiendo un razonamiento preciso sobre lo que los agentes pueden lograr, cómo interactúan sus elecciones y qué provocan.
El campo tiene raíces en la filosofía medieval y la lógica moderna, y se ha vuelto central en áreas como la inteligencia artificial, la verificación de programas y la semántica del lenguaje natural. Las lógicas agentivas proporcionan un marco riguroso para modelar agentes inteligentes, sistemas de planificación e interacciones multiagente, lo que las hace esenciales tanto para el trabajo teórico como aplicado en la informática.
Terminología y alcance
El adjetivo "agentivo" deriva del latín agens ("el que actúa") y originalmente se refería al agente gramatical de un verbo. En contextos lógicos, designa operadores o predicados cuya posición de argumento principal es un agente en lugar de una proposición sola, por ejemplo \(A_i\varphi\) ("el agente \(i\) hace \(\varphi\)") o \(C_i\varphi\) ("el agente \(i\) puede provocar \(\varphi\)").
En la literatura contemporánea, la lógica agentiva a veces se usa de manera restringida para reconstrucciones formales de la explicación modal de San Anselmo sobre facere ("hacer"). Más ampliamente, el término se usa indistintamente con lógica de la acción o lógica de la agencia para cubrir una familia de lógicas modales y dinámicas diseñadas para capturar la estructura de la acción y la elección. Este uso más amplio abarca sistemas desarrollados en filosofía, lingüística e informática, todos compartiendo un enfoque en los agentes como elementos explícitos de la forma lógica.
Antecedentes históricos
Raíces medievales y modernas tempranas
Los lógicos medievales ya exploraron analogías entre modalidades de acción y modalidades aléticas como posibilidad y necesidad, particularmente en discusiones sobre obligación y poder. Un análisis agentivo temprano influyente se debe a San Anselmo (siglo XI), quien trató "hacer \(\varphi\)" como un tipo de operador modal sobre proposiciones, anticipando lógicas modales posteriores de la agencia. Las reconstrucciones modernas de la teoría de Anselmo muestran que la lógica agentiva resultante puede modelarse con semántica de vecindad y satisface un cuadrado de oposición reconocible.
Lógica moderna de la acción
El estudio moderno de la lógica de la acción comenzó a mediados del siglo XX, en paralelo a los desarrollos en lógica deóntica y lógica temporal. Los primeros sistemas fueron propuestos por Georg Henrik von Wright, Stig Kanger y otros, a menudo motivados por preguntas sobre normas y responsabilidad. Desde la década de 1960 en adelante, surgieron dos tradiciones en gran medida independientes pero eventualmente convergentes: una tradición de tiempo ramificado que culminó en las lógicas STIT, enfatizando las elecciones de los agentes entre futuros posibles, y lógicas dinámicas de programas y acciones, desarrolladas dentro de la informática para razonar sobre la ejecución de programas.
En las décadas de 1990 y 2000, las lógicas de acción se desarrollaron aún más en conexión con la representación del conocimiento, la planificación y los sistemas multiagente en IA, y con la semántica dinámica y de actualización en lingüística. Estos desarrollos integraron ideas de la filosofía, la informática teórica y la IA, creando un campo interdisciplinario rico.
Ideas centrales
A pesar de su diversidad, la mayoría de las lógicas agentivas comparten varios temas generales. Los agentes se tratan como índices explícitos de operadores modales, como en \([i\ {\sf hace}]\varphi\) o \(C_i\varphi\). Las acciones se representan o bien implícitamente, mediante cambios entre mundos posibles a lo largo de una relación de accesibilidad, o bien explícitamente, como términos que denotan acciones primitivas y compuestas. La elección y la capacidad se capturan mediante modalidades que describen lo que un agente puede asegurar, generalmente en relación con supuestos sobre el entorno y otros agentes.
Se investigan propiedades formales como el cierre bajo composición, la interacción entre diferentes agentes y las conexiones con la obligación (lo que un agente debería hacer) y el conocimiento (lo que un agente sabe cómo hacer). Estas ideas centrales proporcionan un marco común para comparar diferentes sistemas y para aplicarlos a problemas prácticos.
Lógicas STIT
Las lógicas STIT ("se asegura de que"), originadas en el trabajo de Nuel Belnap y colaboradores, tratan la agencia en un marco de tiempo ramificado. Un modelo STIT consiste en un conjunto parcialmente ordenado de momentos con una estructura similar a un árbol, conjuntos de historias (ramas maximales a través del árbol) y, para cada agente en cada momento, una partición de las historias a través de ese momento que representa las elecciones disponibles para el agente.
Intuitivamente, la acción de un agente en un momento determina qué clase de equivalencia (célula de elección) de historias se vuelve actual; una fórmula \([i\ {\sf stit}:\varphi]\) es verdadera en un par historia-momento si \(\varphi\) se cumple en todas las historias de la célula de elección correspondiente a la acción actual del agente. Se han distinguido diferentes operadores STIT, notablemente el operador STIT de Chellas, a menudo escrito \([i\ {\sf cstit}:\varphi]\), y el operador STIT deliberativo, que añade la condición de que la elección del agente hace una diferencia en la verdad de \(\varphi\). Estos operadores permiten un razonamiento preciso sobre la agencia individual y conjunta, incluidos casos donde los agentes actúan juntos o donde la acción de un agente excluye la de otro.
Las lógicas STIT se han aplicado al razonamiento deóntico, la teoría de juegos y el análisis de responsabilidad y causalidad. Proporcionan un marco robusto para modelar elección y capacidad en entornos dinámicos, y han influido en el trabajo sobre sistemas multiagente en IA.
Lógicas dinámicas de la acción
Las lógicas dinámicas, desarrolladas en la informática desde la década de 1970 en adelante, representan acciones como programas con modalidades \([\alpha]\varphi\) y \(\langle\alpha\rangle\varphi\), que significan aproximadamente que después de cada (respectivamente, alguna) ejecución(es) de la acción \(\alpha\), \(\varphi\) se cumple. Estas lógicas fueron diseñadas originalmente para la verificación de programas, permitiendo razonar sobre los efectos de la ejecución de programas en los estados.
En contextos agentivos, las lógicas dinámicas se usan para modelar acciones explícitamente como términos, con operadores de composición, elección e iteración. Esto permite la representación de estructuras de acción complejas, como secuencias de acciones, acciones condicionales y acciones repetidas. Las lógicas dinámicas de la acción se han aplicado a la planificación, la robótica y la semántica del lenguaje natural, donde capturan el significado de oraciones de acción e imperativos.
Aplicaciones en inteligencia artificial
Las lógicas agentivas sustentan formalismos para razonar sobre acciones, planificación y agentes inteligentes en inteligencia artificial. Proporcionan una base formal para representar el conocimiento, las capacidades y los objetivos de un agente, y para razonar sobre cómo las acciones cambian el mundo. En la planificación, las lógicas agentivas ayudan a especificar precondiciones y efectos de acciones, y apoyan el razonamiento sobre planes alternativos y sus resultados.
En sistemas multiagente, las lógicas agentivas modelan interacciones entre agentes, incluyendo cooperación, competencia y comunicación. Se usan para especificar protocolos, verificar propiedades de sistemas distribuidos y analizar comportamiento estratégico. El desarrollo de grandes modelos de lenguaje y otros sistemas de aprendizaje automático también ha recurrido a conceptos agentivos, ya que los investigadores buscan construir agentes que puedan razonar sobre sus propias acciones y las de otros.
Relación con otras lógicas
Las lógicas agentivas están estrechamente relacionadas con las lógicas modales, las lógicas deónticas y las lógicas temporales. Extienden la lógica modal añadiendo modalidades indexadas a agentes, y a menudo incorporan operadores temporales para representar el cambio a lo largo del tiempo. Las lógicas deónticas, que razonan sobre obligación y permiso, pueden combinarse con lógicas agentivas para expresar lo que un agente debería hacer o tiene permitido hacer. Las lógicas temporales, como la lógica temporal lineal y la lógica de árbol de cómputo, proporcionan una base para razonar sobre secuencias de acciones y futuros ramificados.
Las conexiones entre lógicas agentivas y conocimiento también son importantes. Las lógicas epistémicas, que razonan sobre lo que los agentes saben, pueden integrarse con lógicas agentivas para expresar lo que un agente sabe cómo hacer o sabe que puede lograr. Esta integración es crucial para aplicaciones en IA, donde los agentes deben razonar sobre su propio conocimiento y capacidades.
Véase también
- Lógica modal
- Lógica deóntica
- Lógica temporal
- Sistema multiagente