A preliminary reification of argument theory change

Autores
Rotstein, Nicolas Daniel; Moguillansky, Martin Oscar; Falappa, Marcelo Alejandro; García, Alejandro Javier; Simari, Guillermo Ricardo
Año de publicación
2008
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
In this article we introduce the basics for understanding the mechanisms of Argument Theory Change.In particular we reify it using Defeasible Logic Programming. In this formalism, knowledge bases are representedthrough defeasible logic programs. The main change operation we define over a defeasible logic program is aspecial kind of revision that inserts a new argument and then modifies the resulting program seeking for theargument’s warrant. Since the notion of argument refers to a set of defeasible rules, we generalize this techniquein order to handle extended arguments,i.e., arguments containing also strict rules. Hence, revision using extendedarguments allows us to consider program-independent arguments, which brings about new issues. A single notionof minimal change is analyzed, which refers to keep the contents of the program as much as possible. Finally, abrief discussion about the relation between our approach and the basic theory of belief revision is exposed, alongwith a description of other possible (more complex) minimal change principles.
Fil: Rotstein, Nicolas Daniel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur; Argentina
Fil: Moguillansky, Martin Oscar. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur; Argentina
Fil: Falappa, Marcelo Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur; Argentina
Fil: García, Alejandro Javier. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur; Argentina
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; Argentina
Materia
ARGUMENTATION
THEORY CHANGE
BELIEF REVISION
EFEASIBLE LOGIC PROGRAMMING
NON-MONOTONIC REASONING
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc/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/75748
Acceder
id CONICETDig_139f2891c6c15c3f51443f265f25c28f
oai_identifier_str oai:ri.conicet.gov.ar:11336/75748
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling A preliminary reification of argument theory changeRotstein, Nicolas DanielMoguillansky, Martin OscarFalappa, Marcelo AlejandroGarcía, Alejandro JavierSimari, Guillermo RicardoARGUMENTATIONTHEORY CHANGEBELIEF REVISIONEFEASIBLE LOGIC PROGRAMMINGNON-MONOTONIC REASONINGhttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1In this article we introduce the basics for understanding the mechanisms of Argument Theory Change.In particular we reify it using Defeasible Logic Programming. In this formalism, knowledge bases are representedthrough defeasible logic programs. The main change operation we define over a defeasible logic program is aspecial kind of revision that inserts a new argument and then modifies the resulting program seeking for theargument’s warrant. Since the notion of argument refers to a set of defeasible rules, we generalize this techniquein order to handle extended arguments,i.e., arguments containing also strict rules. Hence, revision using extendedarguments allows us to consider program-independent arguments, which brings about new issues. A single notionof minimal change is analyzed, which refers to keep the contents of the program as much as possible. Finally, abrief discussion about the relation between our approach and the basic theory of belief revision is exposed, alongwith a description of other possible (more complex) minimal change principles.Fil: Rotstein, Nicolas Daniel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur; ArgentinaFil: Moguillansky, Martin Oscar. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur; ArgentinaFil: Falappa, Marcelo Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur; ArgentinaFil: García, Alejandro Javier. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur; ArgentinaFil: 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; ArgentinaSociedad Iberoamericana de Inteligencia Artificial2008-12info: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/75748Rotstein, Nicolas Daniel; Moguillansky, Martin Oscar; Falappa, Marcelo Alejandro; García, Alejandro Javier; Simari, Guillermo Ricardo; A preliminary reification of argument theory change; Sociedad Iberoamericana de Inteligencia Artificial; Inteligencia Artificial; 12; 40; 12-2008; 51-621137-36011988-3064CONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/url/http://journaldocs.iberamia.org/articles/582/article%20(1).pdfinfo:eu-repo/semantics/altIdentifier/url/http://journal.iberamia.org/public/Vol.1-14.html#2008info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-10T13:01:59Zoai:ri.conicet.gov.ar:11336/75748instacron: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-10 13:01:59.671CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv A preliminary reification of argument theory change
title A preliminary reification of argument theory change
spellingShingle A preliminary reification of argument theory change
Rotstein, Nicolas Daniel
ARGUMENTATION
THEORY CHANGE
BELIEF REVISION
EFEASIBLE LOGIC PROGRAMMING
NON-MONOTONIC REASONING
title_short A preliminary reification of argument theory change
title_full A preliminary reification of argument theory change
title_fullStr A preliminary reification of argument theory change
title_full_unstemmed A preliminary reification of argument theory change
title_sort A preliminary reification of argument theory change
dc.creator.none.fl_str_mv Rotstein, Nicolas Daniel
Moguillansky, Martin Oscar
Falappa, Marcelo Alejandro
García, Alejandro Javier
Simari, Guillermo Ricardo
author Rotstein, Nicolas Daniel
author_facet Rotstein, Nicolas Daniel
Moguillansky, Martin Oscar
Falappa, Marcelo Alejandro
García, Alejandro Javier
Simari, Guillermo Ricardo
author_role author
author2 Moguillansky, Martin Oscar
Falappa, Marcelo Alejandro
García, Alejandro Javier
Simari, Guillermo Ricardo
author2_role author
author
author
author
dc.subject.none.fl_str_mv ARGUMENTATION
THEORY CHANGE
BELIEF REVISION
EFEASIBLE LOGIC PROGRAMMING
NON-MONOTONIC REASONING
topic ARGUMENTATION
THEORY CHANGE
BELIEF REVISION
EFEASIBLE LOGIC PROGRAMMING
NON-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 In this article we introduce the basics for understanding the mechanisms of Argument Theory Change.In particular we reify it using Defeasible Logic Programming. In this formalism, knowledge bases are representedthrough defeasible logic programs. The main change operation we define over a defeasible logic program is aspecial kind of revision that inserts a new argument and then modifies the resulting program seeking for theargument’s warrant. Since the notion of argument refers to a set of defeasible rules, we generalize this techniquein order to handle extended arguments,i.e., arguments containing also strict rules. Hence, revision using extendedarguments allows us to consider program-independent arguments, which brings about new issues. A single notionof minimal change is analyzed, which refers to keep the contents of the program as much as possible. Finally, abrief discussion about the relation between our approach and the basic theory of belief revision is exposed, alongwith a description of other possible (more complex) minimal change principles.
Fil: Rotstein, Nicolas Daniel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur; Argentina
Fil: Moguillansky, Martin Oscar. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur; Argentina
Fil: Falappa, Marcelo Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur; Argentina
Fil: García, Alejandro Javier. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur; Argentina
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; Argentina
description In this article we introduce the basics for understanding the mechanisms of Argument Theory Change.In particular we reify it using Defeasible Logic Programming. In this formalism, knowledge bases are representedthrough defeasible logic programs. The main change operation we define over a defeasible logic program is aspecial kind of revision that inserts a new argument and then modifies the resulting program seeking for theargument’s warrant. Since the notion of argument refers to a set of defeasible rules, we generalize this techniquein order to handle extended arguments,i.e., arguments containing also strict rules. Hence, revision using extendedarguments allows us to consider program-independent arguments, which brings about new issues. A single notionof minimal change is analyzed, which refers to keep the contents of the program as much as possible. Finally, abrief discussion about the relation between our approach and the basic theory of belief revision is exposed, alongwith a description of other possible (more complex) minimal change principles.
publishDate 2008
dc.date.none.fl_str_mv 2008-12
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/75748
Rotstein, Nicolas Daniel; Moguillansky, Martin Oscar; Falappa, Marcelo Alejandro; García, Alejandro Javier; Simari, Guillermo Ricardo; A preliminary reification of argument theory change; Sociedad Iberoamericana de Inteligencia Artificial; Inteligencia Artificial; 12; 40; 12-2008; 51-62
1137-3601
1988-3064
CONICET Digital
CONICET
url http://hdl.handle.net/11336/75748
identifier_str_mv Rotstein, Nicolas Daniel; Moguillansky, Martin Oscar; Falappa, Marcelo Alejandro; García, Alejandro Javier; Simari, Guillermo Ricardo; A preliminary reification of argument theory change; Sociedad Iberoamericana de Inteligencia Artificial; Inteligencia Artificial; 12; 40; 12-2008; 51-62
1137-3601
1988-3064
CONICET Digital
CONICET
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/http://journaldocs.iberamia.org/articles/582/article%20(1).pdf
info:eu-repo/semantics/altIdentifier/url/http://journal.iberamia.org/public/Vol.1-14.html#2008
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Sociedad Iberoamericana de Inteligencia Artificial
publisher.none.fl_str_mv Sociedad Iberoamericana de Inteligencia Artificial
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_ 1842979986521194496
score 12.993085

Publicaciones similares