A unifying framework for probabilistic argumentation

Autores
Alfano, Gianvincenzo; Leiva, Mario Alejandro; Simari, Gerardo
Año de publicación
2025
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
Formal argumentation has attracted significant attention in the field of Knowledge Representation and Reasoning over the past two decades. Dung’s Argumentation Framework (AF) has been extended in various directions, including approaches that incorporate quantified uncertainty regarding the existence of arguments and attacks. However, comparatively less effort has been devoted to integrating probabilistic reasoning into structured argumentation or other extensions of AF. In this paper, we introduce the Unified Probabilistic Argumentation Framework (UPAF), a general and expressive theoretical model capable of capturing a wide range of existing argumentation formalisms. UPAF can be equipped with an environmental model that assigns (not necessarily independent) probabilistic events to elements of the underlying argumentation structure, thus enabling reasoning under uncertainty. We demonstrate that UPAF can encode classical and extended forms of Dung’s framework, as well as structured argumentation frameworks such as Assumption-Based Argumentation and Defeasible Logic Programming. Finally, we discuss the computational complexity of key reasoning tasks within UPAF instances.
Fil: Alfano, Gianvincenzo. Universita Della Calabria.; Italia
Fil: Leiva, Mario Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; Argentina
Fil: Simari, Gerardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; Argentina
Materia
Framework
Unifying
Probabilistic Argumentation
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/290370
Acceder
id CONICETDig_772feaff8eaa60131405e4247a0027f0
oai_identifier_str oai:ri.conicet.gov.ar:11336/290370
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling A unifying framework for probabilistic argumentationAlfano, GianvincenzoLeiva, Mario AlejandroSimari, GerardoFrameworkUnifyingProbabilistic Argumentationhttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1Formal argumentation has attracted significant attention in the field of Knowledge Representation and Reasoning over the past two decades. Dung’s Argumentation Framework (AF) has been extended in various directions, including approaches that incorporate quantified uncertainty regarding the existence of arguments and attacks. However, comparatively less effort has been devoted to integrating probabilistic reasoning into structured argumentation or other extensions of AF. In this paper, we introduce the Unified Probabilistic Argumentation Framework (UPAF), a general and expressive theoretical model capable of capturing a wide range of existing argumentation formalisms. UPAF can be equipped with an environmental model that assigns (not necessarily independent) probabilistic events to elements of the underlying argumentation structure, thus enabling reasoning under uncertainty. We demonstrate that UPAF can encode classical and extended forms of Dung’s framework, as well as structured argumentation frameworks such as Assumption-Based Argumentation and Defeasible Logic Programming. Finally, we discuss the computational complexity of key reasoning tasks within UPAF instances.Fil: Alfano, Gianvincenzo. Universita Della Calabria.; ItaliaFil: Leiva, Mario Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; ArgentinaFil: Simari, Gerardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; ArgentinaCollege Publications2025-10info: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/290370Alfano, Gianvincenzo; Leiva, Mario Alejandro; Simari, Gerardo; A unifying framework for probabilistic argumentation; College Publications; Journal of Applied Logics - IfCoLog Journal of Logics and their Applications; 12; 6; 10-2025; 1755-1782978-1-84890-492-72631-98102631-9829CONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/url/https://www.collegepublications.co.uk/downloads/ifcolog00074.pdfinfo: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écnicas2026-08-25T15:11:26Zoai:ri.conicet.gov.ar:11336/290370instacron: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:34982026-08-25 15:11:26.791CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv A unifying framework for probabilistic argumentation
title A unifying framework for probabilistic argumentation
spellingShingle A unifying framework for probabilistic argumentation
Alfano, Gianvincenzo
Framework
Unifying
Probabilistic Argumentation
title_short A unifying framework for probabilistic argumentation
title_full A unifying framework for probabilistic argumentation
title_fullStr A unifying framework for probabilistic argumentation
title_full_unstemmed A unifying framework for probabilistic argumentation
title_sort A unifying framework for probabilistic argumentation
dc.creator.none.fl_str_mv Alfano, Gianvincenzo
Leiva, Mario Alejandro
Simari, Gerardo
author Alfano, Gianvincenzo
author_facet Alfano, Gianvincenzo
Leiva, Mario Alejandro
Simari, Gerardo
author_role author
author2 Leiva, Mario Alejandro
Simari, Gerardo
author2_role author
author
dc.subject.none.fl_str_mv Framework
Unifying
Probabilistic Argumentation
topic Framework
Unifying
Probabilistic Argumentation
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv Formal argumentation has attracted significant attention in the field of Knowledge Representation and Reasoning over the past two decades. Dung’s Argumentation Framework (AF) has been extended in various directions, including approaches that incorporate quantified uncertainty regarding the existence of arguments and attacks. However, comparatively less effort has been devoted to integrating probabilistic reasoning into structured argumentation or other extensions of AF. In this paper, we introduce the Unified Probabilistic Argumentation Framework (UPAF), a general and expressive theoretical model capable of capturing a wide range of existing argumentation formalisms. UPAF can be equipped with an environmental model that assigns (not necessarily independent) probabilistic events to elements of the underlying argumentation structure, thus enabling reasoning under uncertainty. We demonstrate that UPAF can encode classical and extended forms of Dung’s framework, as well as structured argumentation frameworks such as Assumption-Based Argumentation and Defeasible Logic Programming. Finally, we discuss the computational complexity of key reasoning tasks within UPAF instances.
Fil: Alfano, Gianvincenzo. Universita Della Calabria.; Italia
Fil: Leiva, Mario Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; Argentina
Fil: Simari, Gerardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; Argentina
description Formal argumentation has attracted significant attention in the field of Knowledge Representation and Reasoning over the past two decades. Dung’s Argumentation Framework (AF) has been extended in various directions, including approaches that incorporate quantified uncertainty regarding the existence of arguments and attacks. However, comparatively less effort has been devoted to integrating probabilistic reasoning into structured argumentation or other extensions of AF. In this paper, we introduce the Unified Probabilistic Argumentation Framework (UPAF), a general and expressive theoretical model capable of capturing a wide range of existing argumentation formalisms. UPAF can be equipped with an environmental model that assigns (not necessarily independent) probabilistic events to elements of the underlying argumentation structure, thus enabling reasoning under uncertainty. We demonstrate that UPAF can encode classical and extended forms of Dung’s framework, as well as structured argumentation frameworks such as Assumption-Based Argumentation and Defeasible Logic Programming. Finally, we discuss the computational complexity of key reasoning tasks within UPAF instances.
publishDate 2025
dc.date.none.fl_str_mv 2025-10
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/290370
Alfano, Gianvincenzo; Leiva, Mario Alejandro; Simari, Gerardo; A unifying framework for probabilistic argumentation; College Publications; Journal of Applied Logics - IfCoLog Journal of Logics and their Applications; 12; 6; 10-2025; 1755-1782
978-1-84890-492-7
2631-9810
2631-9829
CONICET Digital
CONICET
url http://hdl.handle.net/11336/290370
identifier_str_mv Alfano, Gianvincenzo; Leiva, Mario Alejandro; Simari, Gerardo; A unifying framework for probabilistic argumentation; College Publications; Journal of Applied Logics - IfCoLog Journal of Logics and their Applications; 12; 6; 10-2025; 1755-1782
978-1-84890-492-7
2631-9810
2631-9829
CONICET Digital
CONICET
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/https://www.collegepublications.co.uk/downloads/ifcolog00074.pdf
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 College Publications
publisher.none.fl_str_mv College Publications
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_ 1874775267963043840
score 13.265058

Publicaciones similares