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
repository_id_str
spelling A language for the execution of graded BDI agentsCasali, AnaGodo, LluisSierra, CarlesMulti-context systemsBDI agentsAmbient calculusOperational semanticsWe 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 ReviewedOxford University PressMinisterio de Economía y Competitividad (España)Consejo Superior de Investigaciones Científicas [https://ror.org/02gfc7t72]2016201620132016info:eu-repo/semantics/articlehttp://purl.org/coar/resource_type/c_6501Postprintinfo:eu-repo/semantics/acceptedVersionhttp://hdl.handle.net/10261/132432reponame:DIGITAL.CSIC. Repositorio Institucional del CSICinstname:Consejo Superior de Investigaciones Científicas (CSIC)InglésSíinfo:eu-repo/semantics/openAccessoai:digital.csic.es:10261/1324322026-05-22T06:33:51Z
dc.title.none.fl_str_mv A language for the execution of graded BDI agents
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
dc.creator.none.fl_str_mv Casali, Ana
Godo, Lluis
Sierra, Carles
author Casali, Ana
author_facet Casali, Ana
Godo, Lluis
Sierra, Carles
author_role author
author2 Godo, Lluis
Sierra, Carles
author2_role author
author
dc.contributor.none.fl_str_mv Ministerio de Economía y Competitividad (España)
Consejo Superior de Investigaciones Científicas [https://ror.org/02gfc7t72]
dc.subject.none.fl_str_mv Multi-context systems
BDI agents
Ambient calculus
Operational semantics
topic 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
dc.date.none.fl_str_mv 2013
2016
2016
2016
dc.type.none.fl_str_mv info:eu-repo/semantics/article
http://purl.org/coar/resource_type/c_6501
Postprint
info:eu-repo/semantics/acceptedVersion
format article
status_str acceptedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/10261/132432
url http://hdl.handle.net/10261/132432
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.relation.none.fl_str_mv Sí
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Oxford University Press
publisher.none.fl_str_mv Oxford University Press
dc.source.none.fl_str_mv reponame:DIGITAL.CSIC. Repositorio Institucional del CSIC
instname:Consejo Superior de Investigaciones Científicas (CSIC)
instname_str Consejo Superior de Investigaciones Científicas (CSIC)
reponame_str DIGITAL.CSIC. Repositorio Institucional del CSIC
collection DIGITAL.CSIC. Repositorio Institucional del CSIC
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869420070624559104
score 15,811543

Registos relacionados