A belief revision approach for argumentation–based negotiation agents

Autores
Pilotti, Pablo Emiliano; Casali, Ana; Chesñevar, Carlos Ivan
Año de publicación
2015
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
Negotiation is an interaction that happens in multi-agent systems when agents have conflicting objectives and must look for an acceptable agreement. A typical negotiating situation involves two agents that cannot reach their goals by themselves because they do not have some resources they need or they do not know how to use them to reach their goals. Therefore, they must start a negotiation dialogue, taking also into account that they might have incomplete or wrong beliefs about the other agent’s goals and resources. This article presents a negotiating agent model based on argumentation, which is used by the agents to reason on how to exchange resources and knowledge in order to achieve their goals. Agents that negotiate have incomplete beliefs about the others, so that the exchange of arguments gives them information that makes it possible to update their beliefs. In order to formalize their proposals in a negotiation setting, the agents must be able to generate, select and evaluate arguments associated with such offers, updating their mental state accordingly. In our approach, we will focus on an argumentation-based negotiation model between two cooperative agents. The arguments generation and interpretation process is based on belief change operations (expansions, contractions and revisions), and the selection process is a based on a strategy. This approach is presented through a high-level algorithm implemented in logic programming. We show various theoretical properties associated with this approach, which have been formalized and proved using Coq, a formal proof management system. We also illustrate, through a case study, the applicability of our approach in order to solve a slightly modified version of the well-known home improvement agents problem. Moreover, we present various simulations that allow assessing the impact of belief revision on the negotiation process.
Fil: Pilotti, Pablo Emiliano. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y Sistemas; Argentina. Universidad Nacional de Rosario; Argentina
Fil: Casali, Ana. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y Sistemas; Argentina. Universidad Nacional de Rosario; Argentina
Fil: Chesñevar, Carlos Ivan. Consejo Nacional de Investigaciones Cientificas y Tecnicas. Centro Científico Tecnológico Bahía Blanca. Instituto de Ciencias e Ingenieria de la Computación; Argentina. Universidad Nacional del Sur; Argentina
Materia
Argumentation-Based Negotiation
Collaborative Agents
Belief Revision
Multi-Agent System
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/15196

id CONICETDig_acac6a4ea91f8b9701de6f5cfc90f2a8
oai_identifier_str oai:ri.conicet.gov.ar:11336/15196
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling A belief revision approach for argumentation–based negotiation agentsPilotti, Pablo EmilianoCasali, AnaChesñevar, Carlos IvanArgumentation-Based NegotiationCollaborative AgentsBelief RevisionMulti-Agent Systemhttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1Negotiation is an interaction that happens in multi-agent systems when agents have conflicting objectives and must look for an acceptable agreement. A typical negotiating situation involves two agents that cannot reach their goals by themselves because they do not have some resources they need or they do not know how to use them to reach their goals. Therefore, they must start a negotiation dialogue, taking also into account that they might have incomplete or wrong beliefs about the other agent’s goals and resources. This article presents a negotiating agent model based on argumentation, which is used by the agents to reason on how to exchange resources and knowledge in order to achieve their goals. Agents that negotiate have incomplete beliefs about the others, so that the exchange of arguments gives them information that makes it possible to update their beliefs. In order to formalize their proposals in a negotiation setting, the agents must be able to generate, select and evaluate arguments associated with such offers, updating their mental state accordingly. In our approach, we will focus on an argumentation-based negotiation model between two cooperative agents. The arguments generation and interpretation process is based on belief change operations (expansions, contractions and revisions), and the selection process is a based on a strategy. This approach is presented through a high-level algorithm implemented in logic programming. We show various theoretical properties associated with this approach, which have been formalized and proved using Coq, a formal proof management system. We also illustrate, through a case study, the applicability of our approach in order to solve a slightly modified version of the well-known home improvement agents problem. Moreover, we present various simulations that allow assessing the impact of belief revision on the negotiation process.Fil: Pilotti, Pablo Emiliano. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y Sistemas; Argentina. Universidad Nacional de Rosario; ArgentinaFil: Casali, Ana. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y Sistemas; Argentina. Universidad Nacional de Rosario; ArgentinaFil: Chesñevar, Carlos Ivan. Consejo Nacional de Investigaciones Cientificas y Tecnicas. Centro Científico Tecnológico Bahía Blanca. Instituto de Ciencias e Ingenieria de la Computación; Argentina. Universidad Nacional del Sur; ArgentinaUniversity of Zielona Gora2015-09info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/15196Pilotti, Pablo Emiliano; Casali, Ana; Chesñevar, Carlos Ivan; A belief revision approach for argumentation–based negotiation agents; University of Zielona Gora; International Journal Of Applied Mathematics And Computer Science; 25; 3; 9-2015; 455-4701641-876Xenginfo:eu-repo/semantics/altIdentifier/doi/10.1515/amcs-2015-0034info:eu-repo/semantics/altIdentifier/url/https://www.degruyter.com/view/j/amcs.2015.25.issue-3/amcs-2015-0034/amcs-2015-0034.xmlinfo:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-03T10:07:18Zoai:ri.conicet.gov.ar:11336/15196instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-09-03 10:07:18.412CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv A belief revision approach for argumentation–based negotiation agents
title A belief revision approach for argumentation–based negotiation agents
spellingShingle A belief revision approach for argumentation–based negotiation agents
Pilotti, Pablo Emiliano
Argumentation-Based Negotiation
Collaborative Agents
Belief Revision
Multi-Agent System
title_short A belief revision approach for argumentation–based negotiation agents
title_full A belief revision approach for argumentation–based negotiation agents
title_fullStr A belief revision approach for argumentation–based negotiation agents
title_full_unstemmed A belief revision approach for argumentation–based negotiation agents
title_sort A belief revision approach for argumentation–based negotiation agents
dc.creator.none.fl_str_mv Pilotti, Pablo Emiliano
Casali, Ana
Chesñevar, Carlos Ivan
author Pilotti, Pablo Emiliano
author_facet Pilotti, Pablo Emiliano
Casali, Ana
Chesñevar, Carlos Ivan
author_role author
author2 Casali, Ana
Chesñevar, Carlos Ivan
author2_role author
author
dc.subject.none.fl_str_mv Argumentation-Based Negotiation
Collaborative Agents
Belief Revision
Multi-Agent System
topic Argumentation-Based Negotiation
Collaborative Agents
Belief Revision
Multi-Agent System
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv Negotiation is an interaction that happens in multi-agent systems when agents have conflicting objectives and must look for an acceptable agreement. A typical negotiating situation involves two agents that cannot reach their goals by themselves because they do not have some resources they need or they do not know how to use them to reach their goals. Therefore, they must start a negotiation dialogue, taking also into account that they might have incomplete or wrong beliefs about the other agent’s goals and resources. This article presents a negotiating agent model based on argumentation, which is used by the agents to reason on how to exchange resources and knowledge in order to achieve their goals. Agents that negotiate have incomplete beliefs about the others, so that the exchange of arguments gives them information that makes it possible to update their beliefs. In order to formalize their proposals in a negotiation setting, the agents must be able to generate, select and evaluate arguments associated with such offers, updating their mental state accordingly. In our approach, we will focus on an argumentation-based negotiation model between two cooperative agents. The arguments generation and interpretation process is based on belief change operations (expansions, contractions and revisions), and the selection process is a based on a strategy. This approach is presented through a high-level algorithm implemented in logic programming. We show various theoretical properties associated with this approach, which have been formalized and proved using Coq, a formal proof management system. We also illustrate, through a case study, the applicability of our approach in order to solve a slightly modified version of the well-known home improvement agents problem. Moreover, we present various simulations that allow assessing the impact of belief revision on the negotiation process.
Fil: Pilotti, Pablo Emiliano. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y Sistemas; Argentina. Universidad Nacional de Rosario; Argentina
Fil: Casali, Ana. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y Sistemas; Argentina. Universidad Nacional de Rosario; Argentina
Fil: Chesñevar, Carlos Ivan. Consejo Nacional de Investigaciones Cientificas y Tecnicas. Centro Científico Tecnológico Bahía Blanca. Instituto de Ciencias e Ingenieria de la Computación; Argentina. Universidad Nacional del Sur; Argentina
description Negotiation is an interaction that happens in multi-agent systems when agents have conflicting objectives and must look for an acceptable agreement. A typical negotiating situation involves two agents that cannot reach their goals by themselves because they do not have some resources they need or they do not know how to use them to reach their goals. Therefore, they must start a negotiation dialogue, taking also into account that they might have incomplete or wrong beliefs about the other agent’s goals and resources. This article presents a negotiating agent model based on argumentation, which is used by the agents to reason on how to exchange resources and knowledge in order to achieve their goals. Agents that negotiate have incomplete beliefs about the others, so that the exchange of arguments gives them information that makes it possible to update their beliefs. In order to formalize their proposals in a negotiation setting, the agents must be able to generate, select and evaluate arguments associated with such offers, updating their mental state accordingly. In our approach, we will focus on an argumentation-based negotiation model between two cooperative agents. The arguments generation and interpretation process is based on belief change operations (expansions, contractions and revisions), and the selection process is a based on a strategy. This approach is presented through a high-level algorithm implemented in logic programming. We show various theoretical properties associated with this approach, which have been formalized and proved using Coq, a formal proof management system. We also illustrate, through a case study, the applicability of our approach in order to solve a slightly modified version of the well-known home improvement agents problem. Moreover, we present various simulations that allow assessing the impact of belief revision on the negotiation process.
publishDate 2015
dc.date.none.fl_str_mv 2015-09
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/15196
Pilotti, Pablo Emiliano; Casali, Ana; Chesñevar, Carlos Ivan; A belief revision approach for argumentation–based negotiation agents; University of Zielona Gora; International Journal Of Applied Mathematics And Computer Science; 25; 3; 9-2015; 455-470
1641-876X
url http://hdl.handle.net/11336/15196
identifier_str_mv Pilotti, Pablo Emiliano; Casali, Ana; Chesñevar, Carlos Ivan; A belief revision approach for argumentation–based negotiation agents; University of Zielona Gora; International Journal Of Applied Mathematics And Computer Science; 25; 3; 9-2015; 455-470
1641-876X
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/doi/10.1515/amcs-2015-0034
info:eu-repo/semantics/altIdentifier/url/https://www.degruyter.com/view/j/amcs.2015.25.issue-3/amcs-2015-0034/amcs-2015-0034.xml
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv University of Zielona Gora
publisher.none.fl_str_mv University of Zielona Gora
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1842269997924089856
score 13.13397