Article

Journal of Philosophical Logic

, Volume 42, Issue 1, pp 161-193

First online:

Stratified Belief Bases Revision with Argumentative Inference

  • Marcelo Alejandro FalappaAffiliated withArtificial Intelligence Research and Development Laboratory, Department of Computer Science and Engineering, Universidad Nacional del SurConsejo Nacional de Investigaciones Científicas y Técnicas (CONICET) Email author 
  • , Alejandro Javier GarcíaAffiliated withArtificial Intelligence Research and Development Laboratory, Department of Computer Science and Engineering, Universidad Nacional del SurConsejo Nacional de Investigaciones Científicas y Técnicas (CONICET)
  • , Gabriele Kern-IsbernerAffiliated withTechnische Universitaet Dortmund, Department of Computer Science, University of Dortmund
  • , Guillermo Ricardo SimariAffiliated withArtificial Intelligence Research and Development Laboratory, Department of Computer Science and Engineering, Universidad Nacional del Sur

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access

Abstract

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.

Keywords

Belief revision AGM model Argumentation systems