Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification

Autores
Alsinet, Teresa; Chesñevar, Carlos Iván; Godo, Lluís; Sandri, Sandra; Simari, Guillermo Ricardo
Año de publicación
2008
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at the object-language level. In spite of its expressive power, an important limitation in P-DeLP is that imprecise, fuzzy information cannot be expressed in the object language. One interesting alternative for solving this limitation is the use of PGL+, a possibilistic logic over Gödel logic extended with fuzzy constants. Fuzzy constants in PGL+ allow expressing disjunctive information about the unknown value of a variable, in the sense of a magnitude, modelled as a (unary) predicate. The aim of this article is twofold: firstly, we formalize DePGL+, a possibilistic defeasible logic programming language that extends P-DeLP through the use of PGL+ in order to incorporate fuzzy constants and a fuzzy unification mechanism for them. Secondly, we propose a way to handle conflicting arguments in the context of the extended framework.
Fil: Alsinet, Teresa. Universidad de Lleida; España
Fil: Chesñevar, Carlos Iván. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación; Argentina
Fil: Godo, Lluís. Universitat Autònoma de Barcelona; España. Consejo Superior de Investigaciones Científicas; España
Fil: Sandri, Sandra. Consejo Superior de Investigaciones Científicas; España. Universitat Autònoma de Barcelona; España
Fil: Simari, Guillermo Ricardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación; Argentina
Materia
Defeasible Argumentation
Fuzzy Constants
Fuzzy Unification
Possibilistic Logic
Warrant Computation
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/75771
Acceder
id CONICETDig_dd2719d57bf2fc6a2ac834085d47b5bc
oai_identifier_str oai:ri.conicet.gov.ar:11336/75771
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unificationAlsinet, TeresaChesñevar, Carlos IvánGodo, LluísSandri, SandraSimari, Guillermo RicardoDefeasible ArgumentationFuzzy ConstantsFuzzy UnificationPossibilistic LogicWarrant Computationhttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at the object-language level. In spite of its expressive power, an important limitation in P-DeLP is that imprecise, fuzzy information cannot be expressed in the object language. One interesting alternative for solving this limitation is the use of PGL+, a possibilistic logic over Gödel logic extended with fuzzy constants. Fuzzy constants in PGL+ allow expressing disjunctive information about the unknown value of a variable, in the sense of a magnitude, modelled as a (unary) predicate. The aim of this article is twofold: firstly, we formalize DePGL+, a possibilistic defeasible logic programming language that extends P-DeLP through the use of PGL+ in order to incorporate fuzzy constants and a fuzzy unification mechanism for them. Secondly, we propose a way to handle conflicting arguments in the context of the extended framework.Fil: Alsinet, Teresa. Universidad de Lleida; EspañaFil: Chesñevar, Carlos Iván. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación; ArgentinaFil: Godo, Lluís. Universitat Autònoma de Barcelona; España. Consejo Superior de Investigaciones Científicas; EspañaFil: Sandri, Sandra. Consejo Superior de Investigaciones Científicas; España. Universitat Autònoma de Barcelona; EspañaFil: Simari, Guillermo Ricardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación; ArgentinaElsevier Science Inc2008-08info: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/75771Alsinet, Teresa; Chesñevar, Carlos Iván; Godo, Lluís; Sandri, Sandra; Simari, Guillermo Ricardo; Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification; Elsevier Science Inc; International Journal Of Approximate Reasoning; 48; 3; 8-2008; 711-7290888-613XCONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/url/https://www.sciencedirect.com/science/article/pii/S0888613X07000977info:eu-repo/semantics/altIdentifier/doi/10.1016/j.ijar.2007.07.004info:eu-repo/semantics/altIdentifier/url/https://cs.uns.edu.ar/~grs/Publications/2007-AlsinetChesnevarGodoSadriSimari-IJAR.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écnicas2025-09-29T10:02:35Zoai:ri.conicet.gov.ar:11336/75771instacron: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-29 10:02:35.691CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification
title Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification
spellingShingle Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification
Alsinet, Teresa
Defeasible Argumentation
Fuzzy Constants
Fuzzy Unification
Possibilistic Logic
Warrant Computation
title_short Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification
title_full Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification
title_fullStr Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification
title_full_unstemmed Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification
title_sort Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification
dc.creator.none.fl_str_mv Alsinet, Teresa
Chesñevar, Carlos Iván
Godo, Lluís
Sandri, Sandra
Simari, Guillermo Ricardo
author Alsinet, Teresa
author_facet Alsinet, Teresa
Chesñevar, Carlos Iván
Godo, Lluís
Sandri, Sandra
Simari, Guillermo Ricardo
author_role author
author2 Chesñevar, Carlos Iván
Godo, Lluís
Sandri, Sandra
Simari, Guillermo Ricardo
author2_role author
author
author
author
dc.subject.none.fl_str_mv Defeasible Argumentation
Fuzzy Constants
Fuzzy Unification
Possibilistic Logic
Warrant Computation
topic Defeasible Argumentation
Fuzzy Constants
Fuzzy Unification
Possibilistic Logic
Warrant Computation
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at the object-language level. In spite of its expressive power, an important limitation in P-DeLP is that imprecise, fuzzy information cannot be expressed in the object language. One interesting alternative for solving this limitation is the use of PGL+, a possibilistic logic over Gödel logic extended with fuzzy constants. Fuzzy constants in PGL+ allow expressing disjunctive information about the unknown value of a variable, in the sense of a magnitude, modelled as a (unary) predicate. The aim of this article is twofold: firstly, we formalize DePGL+, a possibilistic defeasible logic programming language that extends P-DeLP through the use of PGL+ in order to incorporate fuzzy constants and a fuzzy unification mechanism for them. Secondly, we propose a way to handle conflicting arguments in the context of the extended framework.
Fil: Alsinet, Teresa. Universidad de Lleida; España
Fil: Chesñevar, Carlos Iván. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación; Argentina
Fil: Godo, Lluís. Universitat Autònoma de Barcelona; España. Consejo Superior de Investigaciones Científicas; España
Fil: Sandri, Sandra. Consejo Superior de Investigaciones Científicas; España. Universitat Autònoma de Barcelona; España
Fil: Simari, Guillermo Ricardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación; Argentina
description Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at the object-language level. In spite of its expressive power, an important limitation in P-DeLP is that imprecise, fuzzy information cannot be expressed in the object language. One interesting alternative for solving this limitation is the use of PGL+, a possibilistic logic over Gödel logic extended with fuzzy constants. Fuzzy constants in PGL+ allow expressing disjunctive information about the unknown value of a variable, in the sense of a magnitude, modelled as a (unary) predicate. The aim of this article is twofold: firstly, we formalize DePGL+, a possibilistic defeasible logic programming language that extends P-DeLP through the use of PGL+ in order to incorporate fuzzy constants and a fuzzy unification mechanism for them. Secondly, we propose a way to handle conflicting arguments in the context of the extended framework.
publishDate 2008
dc.date.none.fl_str_mv 2008-08
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/75771
Alsinet, Teresa; Chesñevar, Carlos Iván; Godo, Lluís; Sandri, Sandra; Simari, Guillermo Ricardo; Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification; Elsevier Science Inc; International Journal Of Approximate Reasoning; 48; 3; 8-2008; 711-729
0888-613X
CONICET Digital
CONICET
url http://hdl.handle.net/11336/75771
identifier_str_mv Alsinet, Teresa; Chesñevar, Carlos Iván; Godo, Lluís; Sandri, Sandra; Simari, Guillermo Ricardo; Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification; Elsevier Science Inc; International Journal Of Approximate Reasoning; 48; 3; 8-2008; 711-729
0888-613X
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.sciencedirect.com/science/article/pii/S0888613X07000977
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.ijar.2007.07.004
info:eu-repo/semantics/altIdentifier/url/https://cs.uns.edu.ar/~grs/Publications/2007-AlsinetChesnevarGodoSadriSimari-IJAR.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 Elsevier Science Inc
publisher.none.fl_str_mv Elsevier Science Inc
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_ 1844613831754514432
score 13.069144

Publicaciones similares