Stratified Belief Bases Revision with Argumentative Inference

We propose a revision operator on a stratified belief base, i.e., a belief base that stores beliefs in different strata corresponding to the value an agent assigns to these beliefs. Furthermore, the operator will be defined as to perform the revision in such a way that information is never lost upon...

Descripción completa

Detalles Bibliográficos
Autores: Falappa, Marcelo Alejandro, Garcia, Alejandro Javier, Kern Isberner, Gabriele, Simari, Guillermo Ricardo
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:2013
País:Argentina
Institución:Consejo Nacional de Investigaciones Científicas y Técnicas
Repositorio:CONICET Digital (CONICET)
Idioma:inglés
OAI Identifier:oai:ri.conicet.gov.ar:11336/12412
Acceso en línea:http://hdl.handle.net/11336/12412
Access Level:acceso abierto
Palabra clave:Belief Revision
Agm Model
Argumentation Systems
https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
id AR_bc1235ce4e1b15b5ca6ea1cdc4cf34af
oai_identifier_str oai:ri.conicet.gov.ar:11336/12412
network_acronym_str AR
network_name_str Argentina
repository_id_str
spelling Stratified Belief Bases Revision with Argumentative InferenceFalappa, Marcelo AlejandroGarcia, Alejandro JavierKern Isberner, Gabriele Simari, Guillermo RicardoBelief RevisionAgm ModelArgumentation Systemshttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1We propose a revision operator on a stratified belief base, i.e., a belief base that stores beliefs in different strata corresponding to the value an agent assigns to these beliefs. Furthermore, the operator will be defined as to perform the revision in such a way that information is never lost upon revision but stored in a stratum or layer containing information perceived as having a lower value. In this manner, if the revision of one layer leads to the rejection of some information to maintain consistency, instead of being withdrawn it will be kept and introduced in a different layer with lower value. Throughout this development we will follow the principle of minimal change, being one of the important principles proposed in belief change theory, particularly emphasized in the AGM model. Regarding the reasoning part from the stratified belief base, the agent will obtain the inferences using an argumentative formalism. Thus, the argumentation framework will decide which information prevails when sentences of different layers are used for entailing conflicting beliefs. We will also illustrate how inferences are changed and how the status of arguments can be modified after a revision process.Fil: Falappa, Marcelo Alejandro. Universidad Nacional del Sur; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Garcia, Alejandro Javier. Universidad Nacional del Sur; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Kern Isberner, Gabriele . Universitat Dortmund; AlemaniaFil: Simari, Guillermo Ricardo. Universidad Nacional del Sur; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaSpringer2013-02info: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/12412Falappa, Marcelo Alejandro; Garcia, Alejandro Javier; Kern Isberner, Gabriele ; Simari, Guillermo Ricardo; Stratified Belief Bases Revision with Argumentative Inference; Springer; Journal of Philosophical Logic; 42; 1; 2-2013; 161-1930022-36111573-0433enginfo:eu-repo/semantics/altIdentifier/url/http://link.springer.com/article/10.1007/s10992-011-9217-zinfo:eu-repo/semantics/altIdentifier/url/http://dx.doi.org/10.1007/s10992-011-9217-zinfo: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écnicas2024-05-08T13:33:15Zoai:ri.conicet.gov.ar:11336/12412instacron: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:34982024-05-08 13:33:15.393CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv Stratified Belief Bases Revision with Argumentative Inference
title Stratified Belief Bases Revision with Argumentative Inference
spellingShingle Stratified Belief Bases Revision with Argumentative Inference
Falappa, Marcelo Alejandro
Belief Revision
Agm Model
Argumentation Systems
https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
title_short Stratified Belief Bases Revision with Argumentative Inference
title_full Stratified Belief Bases Revision with Argumentative Inference
title_fullStr Stratified Belief Bases Revision with Argumentative Inference
title_full_unstemmed Stratified Belief Bases Revision with Argumentative Inference
title_sort Stratified Belief Bases Revision with Argumentative Inference
dc.creator.none.fl_str_mv Falappa, Marcelo Alejandro
Garcia, Alejandro Javier
Kern Isberner, Gabriele
Simari, Guillermo Ricardo
author Falappa, Marcelo Alejandro
author_facet Falappa, Marcelo Alejandro
Garcia, Alejandro Javier
Kern Isberner, Gabriele
Simari, Guillermo Ricardo
author_role author
author2 Garcia, Alejandro Javier
Kern Isberner, Gabriele
Simari, Guillermo Ricardo
author2_role author
author
author
dc.subject.none.fl_str_mv Belief Revision
Agm Model
Argumentation Systems
https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
topic Belief Revision
Agm Model
Argumentation Systems
https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
description We propose a revision operator on a stratified belief base, i.e., a belief base that stores beliefs in different strata corresponding to the value an agent assigns to these beliefs. Furthermore, the operator will be defined as to perform the revision in such a way that information is never lost upon revision but stored in a stratum or layer containing information perceived as having a lower value. In this manner, if the revision of one layer leads to the rejection of some information to maintain consistency, instead of being withdrawn it will be kept and introduced in a different layer with lower value. Throughout this development we will follow the principle of minimal change, being one of the important principles proposed in belief change theory, particularly emphasized in the AGM model. Regarding the reasoning part from the stratified belief base, the agent will obtain the inferences using an argumentative formalism. Thus, the argumentation framework will decide which information prevails when sentences of different layers are used for entailing conflicting beliefs. We will also illustrate how inferences are changed and how the status of arguments can be modified after a revision process.
publishDate 2013
dc.date.none.fl_str_mv 2013-02
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/12412
Falappa, Marcelo Alejandro; Garcia, Alejandro Javier; Kern Isberner, Gabriele ; Simari, Guillermo Ricardo; Stratified Belief Bases Revision with Argumentative Inference; Springer; Journal of Philosophical Logic; 42; 1; 2-2013; 161-193
0022-3611
1573-0433
url http://hdl.handle.net/11336/12412
identifier_str_mv Falappa, Marcelo Alejandro; Garcia, Alejandro Javier; Kern Isberner, Gabriele ; Simari, Guillermo Ricardo; Stratified Belief Bases Revision with Argumentative Inference; Springer; Journal of Philosophical Logic; 42; 1; 2-2013; 161-193
0022-3611
1573-0433
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/http://link.springer.com/article/10.1007/s10992-011-9217-z
info:eu-repo/semantics/altIdentifier/url/http://dx.doi.org/10.1007/s10992-011-9217-z
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 Springer
publisher.none.fl_str_mv Springer
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
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_ 1799194635964252160
score 15,811543

Similares en LA Referencia