Introspective revision of structured belief bases with argumentative inference

Autores
Falappa, Marcelo Alejandro; García, Alejandro Javier; Simari, Guillermo Ricardo
Año de publicación
2025
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
This work addresses the interaction between two significant areas of research in Knowledge Representation and Reasoning: Belief Revision and Argumentation. Both areas focus on determining the validity of the beliefs within an agent’s knowledge base. In belief revision, the emphasis is on modifying beliefs to sustain a coherent knowledge base for the agent. This process generally involves incorporating new information while eliminating existing beliefs. Conversely, argumentation research focuses on assessing the epistemic state of the beliefs within that knowledge base. The decision to accept a belief is made after evaluating all arguments both in favor of and against the claim. Each area contributes tools that model human common sense reasoning as applied ineveryday situations. In recent years, efforts have been made to formalize the interaction between these two areas by applying belief revision strategies to argumentative systems and utilizing formal argumentation techniques to guide change processes in belief revision. One such approach employs stratified belief bases, enhanced with argumentative inference mechanisms. Here, a definition is proposed for the introspective revision of stratified belief bases. The concept involves the introduction of change revision operators that can be applied to astratified belief base. These operators are designed to either eliminate conflicting arguments or modify certain beliefs to accommodate new beliefs, resulting in a change in the status of specific arguments.
Fil: Falappa, Marcelo Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. 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: García, Alejandro Javier. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. 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: Simari, Guillermo Ricardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. 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
BELIEF REVISION
ARGUMENTATION
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/290069
Acceder
id CONICETDig_5dcd270abe06b72a59580c0e73c8244d
oai_identifier_str oai:ri.conicet.gov.ar:11336/290069
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling Introspective revision of structured belief bases with argumentative inferenceFalappa, Marcelo AlejandroGarcía, Alejandro JavierSimari, Guillermo RicardoBELIEF REVISIONARGUMENTATIONhttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1This work addresses the interaction between two significant areas of research in Knowledge Representation and Reasoning: Belief Revision and Argumentation. Both areas focus on determining the validity of the beliefs within an agent’s knowledge base. In belief revision, the emphasis is on modifying beliefs to sustain a coherent knowledge base for the agent. This process generally involves incorporating new information while eliminating existing beliefs. Conversely, argumentation research focuses on assessing the epistemic state of the beliefs within that knowledge base. The decision to accept a belief is made after evaluating all arguments both in favor of and against the claim. Each area contributes tools that model human common sense reasoning as applied ineveryday situations. In recent years, efforts have been made to formalize the interaction between these two areas by applying belief revision strategies to argumentative systems and utilizing formal argumentation techniques to guide change processes in belief revision. One such approach employs stratified belief bases, enhanced with argumentative inference mechanisms. Here, a definition is proposed for the introspective revision of stratified belief bases. The concept involves the introduction of change revision operators that can be applied to astratified belief base. These operators are designed to either eliminate conflicting arguments or modify certain beliefs to accommodate new beliefs, resulting in a change in the status of specific arguments.Fil: Falappa, Marcelo Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. 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: García, Alejandro Javier. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. 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: Simari, Guillermo Ricardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; ArgentinaCollege Publications2025-10-25info: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/290069Falappa, Marcelo Alejandro; García, Alejandro Javier; Simari, Guillermo Ricardo; Introspective revision of structured belief bases with argumentative inference; College Publications; Journal of Applied Logics; 12; 6; 25-10-2025; 1785-18072631-9829CONICET DigitalCONICETenginfo: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écnicas2026-08-25T14:59:12Zoai:ri.conicet.gov.ar:11336/290069instacron: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:34982026-08-25 14:59:12.468CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv Introspective revision of structured belief bases with argumentative inference
title Introspective revision of structured belief bases with argumentative inference
spellingShingle Introspective revision of structured belief bases with argumentative inference
Falappa, Marcelo Alejandro
BELIEF REVISION
ARGUMENTATION
title_short Introspective revision of structured belief bases with argumentative inference
title_full Introspective revision of structured belief bases with argumentative inference
title_fullStr Introspective revision of structured belief bases with argumentative inference
title_full_unstemmed Introspective revision of structured belief bases with argumentative inference
title_sort Introspective revision of structured belief bases with argumentative inference
dc.creator.none.fl_str_mv Falappa, Marcelo Alejandro
García, Alejandro Javier
Simari, Guillermo Ricardo
author Falappa, Marcelo Alejandro
author_facet Falappa, Marcelo Alejandro
García, Alejandro Javier
Simari, Guillermo Ricardo
author_role author
author2 García, Alejandro Javier
Simari, Guillermo Ricardo
author2_role author
author
dc.subject.none.fl_str_mv BELIEF REVISION
ARGUMENTATION
topic BELIEF REVISION
ARGUMENTATION
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 work addresses the interaction between two significant areas of research in Knowledge Representation and Reasoning: Belief Revision and Argumentation. Both areas focus on determining the validity of the beliefs within an agent’s knowledge base. In belief revision, the emphasis is on modifying beliefs to sustain a coherent knowledge base for the agent. This process generally involves incorporating new information while eliminating existing beliefs. Conversely, argumentation research focuses on assessing the epistemic state of the beliefs within that knowledge base. The decision to accept a belief is made after evaluating all arguments both in favor of and against the claim. Each area contributes tools that model human common sense reasoning as applied ineveryday situations. In recent years, efforts have been made to formalize the interaction between these two areas by applying belief revision strategies to argumentative systems and utilizing formal argumentation techniques to guide change processes in belief revision. One such approach employs stratified belief bases, enhanced with argumentative inference mechanisms. Here, a definition is proposed for the introspective revision of stratified belief bases. The concept involves the introduction of change revision operators that can be applied to astratified belief base. These operators are designed to either eliminate conflicting arguments or modify certain beliefs to accommodate new beliefs, resulting in a change in the status of specific arguments.
Fil: Falappa, Marcelo Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. 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: García, Alejandro Javier. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. 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: Simari, Guillermo Ricardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. 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 This work addresses the interaction between two significant areas of research in Knowledge Representation and Reasoning: Belief Revision and Argumentation. Both areas focus on determining the validity of the beliefs within an agent’s knowledge base. In belief revision, the emphasis is on modifying beliefs to sustain a coherent knowledge base for the agent. This process generally involves incorporating new information while eliminating existing beliefs. Conversely, argumentation research focuses on assessing the epistemic state of the beliefs within that knowledge base. The decision to accept a belief is made after evaluating all arguments both in favor of and against the claim. Each area contributes tools that model human common sense reasoning as applied ineveryday situations. In recent years, efforts have been made to formalize the interaction between these two areas by applying belief revision strategies to argumentative systems and utilizing formal argumentation techniques to guide change processes in belief revision. One such approach employs stratified belief bases, enhanced with argumentative inference mechanisms. Here, a definition is proposed for the introspective revision of stratified belief bases. The concept involves the introduction of change revision operators that can be applied to astratified belief base. These operators are designed to either eliminate conflicting arguments or modify certain beliefs to accommodate new beliefs, resulting in a change in the status of specific arguments.
publishDate 2025
dc.date.none.fl_str_mv 2025-10-25
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/290069
Falappa, Marcelo Alejandro; García, Alejandro Javier; Simari, Guillermo Ricardo; Introspective revision of structured belief bases with argumentative inference; College Publications; Journal of Applied Logics; 12; 6; 25-10-2025; 1785-1807
2631-9829
CONICET Digital
CONICET
url http://hdl.handle.net/11336/290069
identifier_str_mv Falappa, Marcelo Alejandro; García, Alejandro Javier; Simari, Guillermo Ricardo; Introspective revision of structured belief bases with argumentative inference; College Publications; Journal of Applied Logics; 12; 6; 25-10-2025; 1785-1807
2631-9829
CONICET Digital
CONICET
dc.language.none.fl_str_mv eng
language eng
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 College Publications
publisher.none.fl_str_mv College Publications
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_ 1874774979063578624
score 13.24418

Publicaciones similares