Dynamics of Knowledge in DeLP through Argument Theory Change

Autores
Moguillansky, Martin Oscar; Rotstein, Nicolas Daniel; Falappa, Marcelo Alejandro; Garcia, Alejandro Javier; Simari, Guillermo Ricardo
Año de publicación
2013
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
This article is devoted to the study of methods to change defeasible logic programs (de.l.p.s) which are the knowledge bases used by the Defeasible Logic Programming (DeLP) interpreter. DeLP is an argumentation formalism that allows to reason over potentially inconsistent de.l.p.s. Argument Theory Change (ATC) studies certain aspects of belief revision in order to make them suitable for abstract argumentation systems. In this article, abstract arguments are rendered concrete by using the particular rule-based defeasible logic adopted by DeLP. The objective of our proposal is to define prioritized argument revision operators à la ATC for de.l.p.s, in such a way that the newly inserted argument ends up undefeated after the revision, thus warranting its conclusion. In order to ensure this warrant, the de.l.p. has to be changed in concordance with a minimal change principle. To this end, we discuss different minimal change criteria that could be adopted. Finally, an algorithm is presented, implementing the argument revision operations.
Fil: Moguillansky, Martin Oscar. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computacion; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Rotstein, Nicolas Daniel. Universidad Nacional del Sur. Departamento de Ciencias e Ingenieria de la Computacion. Instituto de Ciencias e Ingenieria de la Computacion; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Falappa, Marcelo Alejandro. Universidad Nacional del Sur. Departamento de Ciencias e Ingenieria de la Computacion. Instituto de Ciencias e Ingenieria de la Computacion; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Garcia, Alejandro Javier. Universidad Nacional del Sur. Departamento de Ciencias e Ingenieria de la Computacion. Instituto de Ciencias e Ingenieria de la Computacion; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Simari, Guillermo Ricardo. Universidad Nacional del Sur. Departamento de Ciencias e Ingenieria de la Computacion. Instituto de Ciencias e Ingenieria de la Computacion; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Materia
Knowledge Representation And Reasoning
Logic Programming
Belief Revision
Argumentationnon-Monotonic Reasoning
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/12414
Acceder
id CONICETDig_fa58f83c6aaf83a7212031940cc7d410
oai_identifier_str oai:ri.conicet.gov.ar:11336/12414
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling Dynamics of Knowledge in DeLP through Argument Theory ChangeMoguillansky, Martin OscarRotstein, Nicolas DanielFalappa, Marcelo AlejandroGarcia, Alejandro JavierSimari, Guillermo RicardoKnowledge Representation And ReasoningLogic ProgrammingBelief RevisionArgumentationnon-Monotonic Reasoninghttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1This article is devoted to the study of methods to change defeasible logic programs (de.l.p.s) which are the knowledge bases used by the Defeasible Logic Programming (DeLP) interpreter. DeLP is an argumentation formalism that allows to reason over potentially inconsistent de.l.p.s. Argument Theory Change (ATC) studies certain aspects of belief revision in order to make them suitable for abstract argumentation systems. In this article, abstract arguments are rendered concrete by using the particular rule-based defeasible logic adopted by DeLP. The objective of our proposal is to define prioritized argument revision operators à la ATC for de.l.p.s, in such a way that the newly inserted argument ends up undefeated after the revision, thus warranting its conclusion. In order to ensure this warrant, the de.l.p. has to be changed in concordance with a minimal change principle. To this end, we discuss different minimal change criteria that could be adopted. Finally, an algorithm is presented, implementing the argument revision operations.Fil: Moguillansky, Martin Oscar. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computacion; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Rotstein, Nicolas Daniel. Universidad Nacional del Sur. Departamento de Ciencias e Ingenieria de la Computacion. Instituto de Ciencias e Ingenieria de la Computacion; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Falappa, Marcelo Alejandro. Universidad Nacional del Sur. Departamento de Ciencias e Ingenieria de la Computacion. Instituto de Ciencias e Ingenieria de la Computacion; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Garcia, Alejandro Javier. Universidad Nacional del Sur. Departamento de Ciencias e Ingenieria de la Computacion. Instituto de Ciencias e Ingenieria de la Computacion; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Simari, Guillermo Ricardo. Universidad Nacional del Sur. Departamento de Ciencias e Ingenieria de la Computacion. Instituto de Ciencias e Ingenieria de la Computacion; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaCambridge University Press2013-11info: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/12414Moguillansky, Martin Oscar; Rotstein, Nicolas Daniel; Falappa, Marcelo Alejandro; Garcia, Alejandro Javier; Simari, Guillermo Ricardo; Dynamics of Knowledge in DeLP through Argument Theory Change; Cambridge University Press; Theory And Practice Of Logic Programming; 13; 6; 11-2013; 893-9571471-0684enginfo:eu-repo/semantics/altIdentifier/doi/10.1017/S1471068411000603info:eu-repo/semantics/altIdentifier/url/https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/div-classtitledynamics-of-knowledge-in-span-classitalicdspan-classscespanlpspan-through-argument-theory-changediv/A114A5F3DC468350613817FBF1477EC2info: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-10-15T15:17:23Zoai:ri.conicet.gov.ar:11336/12414instacron: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-10-15 15:17:24.196CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv Dynamics of Knowledge in DeLP through Argument Theory Change
title Dynamics of Knowledge in DeLP through Argument Theory Change
spellingShingle Dynamics of Knowledge in DeLP through Argument Theory Change
Moguillansky, Martin Oscar
Knowledge Representation And Reasoning
Logic Programming
Belief Revision
Argumentationnon-Monotonic Reasoning
title_short Dynamics of Knowledge in DeLP through Argument Theory Change
title_full Dynamics of Knowledge in DeLP through Argument Theory Change
title_fullStr Dynamics of Knowledge in DeLP through Argument Theory Change
title_full_unstemmed Dynamics of Knowledge in DeLP through Argument Theory Change
title_sort Dynamics of Knowledge in DeLP through Argument Theory Change
dc.creator.none.fl_str_mv Moguillansky, Martin Oscar
Rotstein, Nicolas Daniel
Falappa, Marcelo Alejandro
Garcia, Alejandro Javier
Simari, Guillermo Ricardo
author Moguillansky, Martin Oscar
author_facet Moguillansky, Martin Oscar
Rotstein, Nicolas Daniel
Falappa, Marcelo Alejandro
Garcia, Alejandro Javier
Simari, Guillermo Ricardo
author_role author
author2 Rotstein, Nicolas Daniel
Falappa, Marcelo Alejandro
Garcia, Alejandro Javier
Simari, Guillermo Ricardo
author2_role author
author
author
author
dc.subject.none.fl_str_mv Knowledge Representation And Reasoning
Logic Programming
Belief Revision
Argumentationnon-Monotonic Reasoning
topic Knowledge Representation And Reasoning
Logic Programming
Belief Revision
Argumentationnon-Monotonic Reasoning
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv This article is devoted to the study of methods to change defeasible logic programs (de.l.p.s) which are the knowledge bases used by the Defeasible Logic Programming (DeLP) interpreter. DeLP is an argumentation formalism that allows to reason over potentially inconsistent de.l.p.s. Argument Theory Change (ATC) studies certain aspects of belief revision in order to make them suitable for abstract argumentation systems. In this article, abstract arguments are rendered concrete by using the particular rule-based defeasible logic adopted by DeLP. The objective of our proposal is to define prioritized argument revision operators à la ATC for de.l.p.s, in such a way that the newly inserted argument ends up undefeated after the revision, thus warranting its conclusion. In order to ensure this warrant, the de.l.p. has to be changed in concordance with a minimal change principle. To this end, we discuss different minimal change criteria that could be adopted. Finally, an algorithm is presented, implementing the argument revision operations.
Fil: Moguillansky, Martin Oscar. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computacion; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Rotstein, Nicolas Daniel. Universidad Nacional del Sur. Departamento de Ciencias e Ingenieria de la Computacion. Instituto de Ciencias e Ingenieria de la Computacion; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Falappa, Marcelo Alejandro. Universidad Nacional del Sur. Departamento de Ciencias e Ingenieria de la Computacion. Instituto de Ciencias e Ingenieria de la Computacion; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Garcia, Alejandro Javier. Universidad Nacional del Sur. Departamento de Ciencias e Ingenieria de la Computacion. Instituto de Ciencias e Ingenieria de la Computacion; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Simari, Guillermo Ricardo. Universidad Nacional del Sur. Departamento de Ciencias e Ingenieria de la Computacion. Instituto de Ciencias e Ingenieria de la Computacion; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
description This article is devoted to the study of methods to change defeasible logic programs (de.l.p.s) which are the knowledge bases used by the Defeasible Logic Programming (DeLP) interpreter. DeLP is an argumentation formalism that allows to reason over potentially inconsistent de.l.p.s. Argument Theory Change (ATC) studies certain aspects of belief revision in order to make them suitable for abstract argumentation systems. In this article, abstract arguments are rendered concrete by using the particular rule-based defeasible logic adopted by DeLP. The objective of our proposal is to define prioritized argument revision operators à la ATC for de.l.p.s, in such a way that the newly inserted argument ends up undefeated after the revision, thus warranting its conclusion. In order to ensure this warrant, the de.l.p. has to be changed in concordance with a minimal change principle. To this end, we discuss different minimal change criteria that could be adopted. Finally, an algorithm is presented, implementing the argument revision operations.
publishDate 2013
dc.date.none.fl_str_mv 2013-11
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/12414
Moguillansky, Martin Oscar; Rotstein, Nicolas Daniel; Falappa, Marcelo Alejandro; Garcia, Alejandro Javier; Simari, Guillermo Ricardo; Dynamics of Knowledge in DeLP through Argument Theory Change; Cambridge University Press; Theory And Practice Of Logic Programming; 13; 6; 11-2013; 893-957
1471-0684
url http://hdl.handle.net/11336/12414
identifier_str_mv Moguillansky, Martin Oscar; Rotstein, Nicolas Daniel; Falappa, Marcelo Alejandro; Garcia, Alejandro Javier; Simari, Guillermo Ricardo; Dynamics of Knowledge in DeLP through Argument Theory Change; Cambridge University Press; Theory And Practice Of Logic Programming; 13; 6; 11-2013; 893-957
1471-0684
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/doi/10.1017/S1471068411000603
info:eu-repo/semantics/altIdentifier/url/https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/div-classtitledynamics-of-knowledge-in-span-classitalicdspan-classscespanlpspan-through-argument-theory-changediv/A114A5F3DC468350613817FBF1477EC2
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 Cambridge University Press
publisher.none.fl_str_mv Cambridge University Press
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_ 1846083322968539136
score 13.22299

Publicaciones similares