AgentSpeak es un lenguaje de programación orientado a agentes . Se basa en la programación lógica y la arquitectura del modelo de software de creencia-deseo-intención (BDI) para agentes autónomos ( cognitivos ) . El idioma se llamó originalmente AgentSpeak (L) , pero se hizo más popular como AgentSpeak, un término que también se usa para referirse a las variantes del idioma original.
Paradigma | Programación orientada a agentes |
---|---|
Diseñada por | Anand Rao |
Apareció por primera vez | 1996 |
Implementaciones importantes | |
Jason |
Historia
En 1996, Anand Rao creó un lenguaje de programación de agentes basado en lógica basado en la arquitectura BDI y lo llamó AgentSpeak (L). [1] Este se convirtió en un artículo muy citado en la literatura sobre sistemas multiagente . En su concepción original, AgentSpeak era un lenguaje de programación de agente abstracto destinado a ayudar a comprender la relación entre las implementaciones prácticas de la arquitectura BDI como el sistema de razonamiento procedimental (PRS) [2] y la formalización de las ideas detrás de la arquitectura BDI utilizando modal lógicas . [3]
Varios autores contribuyeron a una mayor formalización del lenguaje AgentSpeak (L), por ejemplo. [4] En los últimos años, el lenguaje se ha revivido tanto en la investigación como en el desarrollo. En términos de investigación, se ha trabajado tanto en las extensiones de AgentSpeak [5] [6] [7] como en la verificación formal de los programas AgentSpeak utilizando la verificación de modelos. [8] [9] El lenguaje es también uno de los lenguajes orientados a agentes más populares debido al desarrollo de la plataforma Jason.
AgentSpeak (L) es también el medio más destacado para desarrollar la solución para el Concurso de Programación de Agentes Múltiples desde el comienzo de la competencia hasta la edición reciente.
Ver también
Referencias
- ^ Anand S. Rao, 1996. AgentSpeak (L): Los agentes de BDI hablan en un lenguaje lógico computable. Actas del Séptimo Taller Europeo sobre Modelado de Agentes Autónomos en un Mundo de Agentes Múltiples (MAAMAW-96).
- ^ Michael P. Georgeff, Amy L. Lansky: Razonamiento reactivo y planificación. AAAI 1987: 677–682
- ^ A.Rao y M.Georgeff. Procedimientos de decisión para lógicas BDI. Journal of Logic and Computation 8 (3), 293–343 (1998).
- ^ Mark d'Inverno , Michael Luck : ingeniero AgentSpeak (L): un modelo computacional formal. J. Log. Computación. 8 (3): 233 - 260 (1998).
- ^ RHBordini, JFHubner, M.Wooldridge. Programación de sistemas de agentes múltiples en AgentSpeak con Jason . John Wiley e hijos, 2007.
- ^ Rafael H. Bordini, Álvaro F. Moreira: Demostración de las propiedades de BDI de lenguajes de programación orientados a agentes. Ana. Matemáticas. Artif. Intell. 42 (1–3): 197–226 (2004)
- ^ Renata Vieira, Álvaro F. Moreira, Michael Wooldridge, Rafael H. Bordini: Sobre la semántica formal de la comunicación basada en actos de habla en un lenguaje de programación orientado a agentes. J. Artif. Intell. Res. (JAIR) 29: 221-267 (2007)
- ^ Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Modelo de verificación de agentes racionales. IEEE Intelligent Systems 19 (5): 46–52 (2004).
- ^ Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Verificación de programas de agentes múltiples mediante la verificación de modelos. Agentes autónomos y sistemas de agentes múltiples 12 (2): 239–256 (2006)
enlaces externos
- AgentSpeak en SourceForge.net es un intérprete de una extensión de AgentSpeak.