A logic programming framework for possibilistic argumentation: Formalization and logical properties

Autores
Alsinet, Teresa; Chesñevar, Carlos Iván; Godo, Lluís; Simari, Guillermo Ricardo
Año de publicación
2008
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable to deal with both explicit uncertainty and vague knowledge, as defeasibility is directly encoded in the object language. This paper presents possibilistic defeasible logic programming (P-DeLP), a new logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty. Such features are formalized on the basis of PGL, a possibilistic logic based on Gödel fuzzy logic. One of the applications of P-DeLP is providing an intelligent agent with non-monotonic, argumentative inference capabilities. In this paper we also provide a better understanding of such capabilities by defining two non-monotonic operators which model the expansion of a given program by adding new weighed facts associated with argument conclusions and warranted literals, respectively. Different logical properties for the proposed operators are studied.
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. Instituto 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: 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. Instituto de Ciencias e Ingeniería de la Computación; Argentina
Materia
Defeasible Argumentation
Intelligent Systems
Possibilistic Logic
Vague Knowledge
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/75911
Acceder
id CONICETDig_f1cb6040aea0bf7ba38b51c1f45d267a
oai_identifier_str oai:ri.conicet.gov.ar:11336/75911
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling A logic programming framework for possibilistic argumentation: Formalization and logical propertiesAlsinet, TeresaChesñevar, Carlos IvánGodo, LluísSimari, Guillermo RicardoDefeasible ArgumentationIntelligent SystemsPossibilistic LogicVague Knowledgehttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable to deal with both explicit uncertainty and vague knowledge, as defeasibility is directly encoded in the object language. This paper presents possibilistic defeasible logic programming (P-DeLP), a new logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty. Such features are formalized on the basis of PGL, a possibilistic logic based on Gödel fuzzy logic. One of the applications of P-DeLP is providing an intelligent agent with non-monotonic, argumentative inference capabilities. In this paper we also provide a better understanding of such capabilities by defining two non-monotonic operators which model the expansion of a given program by adding new weighed facts associated with argument conclusions and warranted literals, respectively. Different logical properties for the proposed operators are studied.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. Instituto 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: 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. Instituto de Ciencias e Ingeniería de la Computación; ArgentinaElsevier Science2008-05-16info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/75911Alsinet, Teresa; Chesñevar, Carlos Iván; Godo, Lluís; Simari, Guillermo Ricardo; A logic programming framework for possibilistic argumentation: Formalization and logical properties; Elsevier Science; Fuzzy Sets and Systems; 159; 10; 16-5-2008; 1208-12280165-0114CONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/url/https://www.sciencedirect.com/science/article/pii/S0165011407005337info:eu-repo/semantics/altIdentifier/doi/10.1016/j.fss.2007.12.013info: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:17:50Zoai:ri.conicet.gov.ar:11336/75911instacron: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:17:51.265CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv A logic programming framework for possibilistic argumentation: Formalization and logical properties
title A logic programming framework for possibilistic argumentation: Formalization and logical properties
spellingShingle A logic programming framework for possibilistic argumentation: Formalization and logical properties
Alsinet, Teresa
Defeasible Argumentation
Intelligent Systems
Possibilistic Logic
Vague Knowledge
title_short A logic programming framework for possibilistic argumentation: Formalization and logical properties
title_full A logic programming framework for possibilistic argumentation: Formalization and logical properties
title_fullStr A logic programming framework for possibilistic argumentation: Formalization and logical properties
title_full_unstemmed A logic programming framework for possibilistic argumentation: Formalization and logical properties
title_sort A logic programming framework for possibilistic argumentation: Formalization and logical properties
dc.creator.none.fl_str_mv Alsinet, Teresa
Chesñevar, Carlos Iván
Godo, Lluís
Simari, Guillermo Ricardo
author Alsinet, Teresa
author_facet Alsinet, Teresa
Chesñevar, Carlos Iván
Godo, Lluís
Simari, Guillermo Ricardo
author_role author
author2 Chesñevar, Carlos Iván
Godo, Lluís
Simari, Guillermo Ricardo
author2_role author
author
author
dc.subject.none.fl_str_mv Defeasible Argumentation
Intelligent Systems
Possibilistic Logic
Vague Knowledge
topic Defeasible Argumentation
Intelligent Systems
Possibilistic Logic
Vague Knowledge
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable to deal with both explicit uncertainty and vague knowledge, as defeasibility is directly encoded in the object language. This paper presents possibilistic defeasible logic programming (P-DeLP), a new logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty. Such features are formalized on the basis of PGL, a possibilistic logic based on Gödel fuzzy logic. One of the applications of P-DeLP is providing an intelligent agent with non-monotonic, argumentative inference capabilities. In this paper we also provide a better understanding of such capabilities by defining two non-monotonic operators which model the expansion of a given program by adding new weighed facts associated with argument conclusions and warranted literals, respectively. Different logical properties for the proposed operators are studied.
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. Instituto 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: 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. Instituto de Ciencias e Ingeniería de la Computación; Argentina
description In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable to deal with both explicit uncertainty and vague knowledge, as defeasibility is directly encoded in the object language. This paper presents possibilistic defeasible logic programming (P-DeLP), a new logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty. Such features are formalized on the basis of PGL, a possibilistic logic based on Gödel fuzzy logic. One of the applications of P-DeLP is providing an intelligent agent with non-monotonic, argumentative inference capabilities. In this paper we also provide a better understanding of such capabilities by defining two non-monotonic operators which model the expansion of a given program by adding new weighed facts associated with argument conclusions and warranted literals, respectively. Different logical properties for the proposed operators are studied.
publishDate 2008
dc.date.none.fl_str_mv 2008-05-16
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/75911
Alsinet, Teresa; Chesñevar, Carlos Iván; Godo, Lluís; Simari, Guillermo Ricardo; A logic programming framework for possibilistic argumentation: Formalization and logical properties; Elsevier Science; Fuzzy Sets and Systems; 159; 10; 16-5-2008; 1208-1228
0165-0114
CONICET Digital
CONICET
url http://hdl.handle.net/11336/75911
identifier_str_mv Alsinet, Teresa; Chesñevar, Carlos Iván; Godo, Lluís; Simari, Guillermo Ricardo; A logic programming framework for possibilistic argumentation: Formalization and logical properties; Elsevier Science; Fuzzy Sets and Systems; 159; 10; 16-5-2008; 1208-1228
0165-0114
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/S0165011407005337
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.fss.2007.12.013
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
application/pdf
dc.publisher.none.fl_str_mv Elsevier Science
publisher.none.fl_str_mv Elsevier Science
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_ 1844614135332995072
score 13.069144

Publicaciones similares