A language for the execution of graded BDI agents

We are interested in the specification and deployment of multi-agent systems, and particularly we focus on the execution of agents. Along this research line, we have proposed a general model for graded BDI agents, specifying an architecture based on multi-context systems (MCSs) and able to deal with...

ver descrição completa

Detalhes bibliográficos
Autores: Casali, Ana, Godo, Lluis, Sierra, Carles
Formato: artículo
Estado:Versión aceptada para publicación
Fecha de publicación:2013
País:España
Recursos:Consejo Superior de Investigaciones Científicas (CSIC)
Repositorio:DIGITAL.CSIC. Repositorio Institucional del CSIC
OAI Identifier:oai:digital.csic.es:10261/132432
Acesso em linha:http://hdl.handle.net/10261/132432
Access Level:acceso abierto
Palavra-chave:Multi-context systems
BDI agents
Ambient calculus
Operational semantics
id ES_cf4f547dcba25debe0981ed052d7998c
oai_identifier_str oai:digital.csic.es:10261/132432
network_acronym_str ES
network_name_str España
spelling A language for the execution of graded BDI agents Casali, Ana Godo, Lluis Sierra, Carles Multi-context systems BDI agents Ambient calculus Operational semantics We are interested in the specification and deployment of multi-agent systems, and particularly we focus on the execution of agents. Along this research line, we have proposed a general model for graded BDI agents, specifying an architecture based on multi-context systems (MCSs) and able to deal with the environment uncertainty (via graded beliefs) and with graded mental proactive attitudes (via desires and intentions). These graded attitudes are represented using appropriate fuzzy modal logics. In this article, we cope with the operational semantics of this agent model. We present a Multi-context calculus, based on Ambient calculus, for the execution of MCSs with its corresponding semantics. This calculus is general enough to support different kinds of MCSs and particularly, we show how a graded BDI agent can be mapped into the language of the calculus. © The Author 2011. Published by Oxford University Press. All rights reserved. The authors are thankful to the anonymous reviewers for their helpful comments for improving the paper. Ana Casali acknowledge partial support by the PID-UNR ING308 project. Llus Godo and Carles Sierra acknowledge partial support by the Spanish project Agreement Technologies (CONSOLIDER CSD2007-0022, INGENIO 2010). Peer Reviewed Oxford University Press http://hdl.handle.net/10261/132432
title A language for the execution of graded BDI agents
spellingShingle A language for the execution of graded BDI agents
Casali, Ana
Multi-context systems
BDI agents
Ambient calculus
Operational semantics
title_short A language for the execution of graded BDI agents
title_full A language for the execution of graded BDI agents
title_fullStr A language for the execution of graded BDI agents
title_full_unstemmed A language for the execution of graded BDI agents
title_sort A language for the execution of graded BDI agents
author Casali, Ana
author_facet Casali, Ana
Godo, Lluis
Sierra, Carles
author_role author
author2 Godo, Lluis
Sierra, Carles
author2_role author
author
topic Multi-context systems
BDI agents
Ambient calculus
Operational semantics
topic_facet Multi-context systems
BDI agents
Ambient calculus
Operational semantics
description We are interested in the specification and deployment of multi-agent systems, and particularly we focus on the execution of agents. Along this research line, we have proposed a general model for graded BDI agents, specifying an architecture based on multi-context systems (MCSs) and able to deal with the environment uncertainty (via graded beliefs) and with graded mental proactive attitudes (via desires and intentions). These graded attitudes are represented using appropriate fuzzy modal logics. In this article, we cope with the operational semantics of this agent model. We present a Multi-context calculus, based on Ambient calculus, for the execution of MCSs with its corresponding semantics. This calculus is general enough to support different kinds of MCSs and particularly, we show how a graded BDI agent can be mapped into the language of the calculus. © The Author 2011. Published by Oxford University Press. All rights reserved.
publishDate 2013
format article
status_str acceptedVersion
url http://hdl.handle.net/10261/132432
eu_rights_str_mv openAccess
publisher Oxford University Press
institution Consejo Superior de Investigaciones Científicas (CSIC)
collection DIGITAL.CSIC. Repositorio Institucional del CSIC
reponame_str DIGITAL.CSIC. Repositorio Institucional del CSIC
instname_str Consejo Superior de Investigaciones Científicas (CSIC)
_version_ 1878441000276328448
publishDateSort 2013
author_browse Casali, Ana
Godo, Lluis
Sierra, Carles
publisherStr Oxford University Press
score 6,924472

Registos relacionados