Título
Towards a Calendar Agent Society with Intelligent Agents in ASP-Updates
Autor
JUAN CARLOS ACOSTA GUADARRAMA
JOSE RAYMUNDO MARCIAL ROMERO
Marco Antonio Ramos Corchado
José Antonio Hernández Servín
Nivel de Acceso
Acceso Abierto
Materias
CIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRA - (CTI) CIENCIA DE LOS ORDENADORES - (CTI) TECNOLOGÍA DE LOS ORDENADORES - (CTI) Calendar - ([Acta Universitaria: Multidisciplinary Scientific Journal. Vol. 22, No. NE-1 ENC (2012)]) ASP (Answer-Sets Programming) - Updates - ([Acta Universitaria: Multidisciplinary Scientific Journal. Vol. 22, No. NE-1 ENC (2012)]) Logic programming - ([Acta Universitaria: Multidisciplinary Scientific Journal. Vol. 22, No. NE-1 ENC (2012)]) Multi-agents system - ([Acta Universitaria: Multidisciplinary Scientific Journal. Vol. 22, No. NE-1 ENC (2012)]) BDI Architecture (Beliefs, Desires, Intentions) - ([Acta Universitaria: Multidisciplinary Scientific Journal. Vol. 22, No. NE-1 ENC (2012)]) Calendario - ([Acta Universitaria: Multidisciplinary Scientific Journal. Vol. 22, No. NE-1 ENC (2012)]) ASP (Programación de conjuntos de respuestas) - Actualizaciones - ([Acta Universitaria: Multidisciplinary Scientific Journal. Vol. 22, No. NE-1 ENC (2012)]) Programación lógica - ([Acta Universitaria: Multidisciplinary Scientific Journal. Vol. 22, No. NE-1 ENC (2012)]) Sistemas multiagente - ([Acta Universitaria: Multidisciplinary Scientific Journal. Vol. 22, No. NE-1 ENC (2012)]) Arquitectura BDI (Creencias, Deseos, Intenciones) - ([Acta Universitaria: Multidisciplinary Scientific Journal. Vol. 22, No. NE-1 ENC (2012)])
Resumen o descripción
Se presenta el análisis y algunas especificaciones para describir una sociedad multi-agente que representa agendas dinámicas en Answer Sets Programming, por medio de actualización de bases de conocimiento. Se trata de un estudio de caso para representar un grupo de agentes BDI inteligentes con el fin común de programar una reunión, y se utiliza un ejemplo para mostrar la manera de distribuir y cambiar sus especificaciones bajo circunstancias imprevistas, así como un protocolo sencillo para realizar una reunión consensual. Sostenemos que el marco propuesto es apropiado para tener los beneficios de una base sólida como Answer Sets Programming, de la simplicidad de su programación lógica declarativa, así como de la practicidad para resolvedores existentes implementados, que pueden ser utilizados para un sistema más completo y útil de sociedades de agentes / Juan C. Acosta G., J. Raymundo Marcial Romero, Marco A. Ramos C. and J. A. Hernández Servín.
We present the analysis and some preliminary specifications to describe a multi-agent society to represent dynamic appointments under in Answer-Sets Programming, by means of knowledgebase updates. This is a case study to represent a group of intelligent BDI agents with a common goal of scheduling a meeting, and we use an example to show how to distribute and change their specifications under unforeseen circumstances, as well as a simple protocol to realise a consensual meeting. We claim that the proposed framework is appropriate to have the benefits from a strong foundation like Answer-Sets Programming, simplicity for its declarative logic programming, as well as practicality for existent implemented solvers, which can be used to implement a more-complete and useful system of agent societies.
Editor
Universidad de Guanajuato
Fecha de publicación
1 de marzo de 2012
Tipo de publicación
Artículo
Versión de la publicación
Versión publicada
Recurso de información
Formato
application/pdf
Fuente
Acta Universitaria: Multidisciplinary Scientific Journal. Vol. 22, No. NE-1 ENC (2012)
Idioma
Inglés
Relación
https://doi.org/10.15174/au.2012.341
Repositorio Orígen
Repositorio Institucional de la Universidad de Guanajuato
Descargas
0