Journal of Philosophical Logic

, Volume 42, Issue 1, pp 161–193

Stratified Belief Bases Revision with Argumentative Inference

Authors

    • Artificial Intelligence Research and Development Laboratory, Department of Computer Science and EngineeringUniversidad Nacional del Sur
    • Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET)
  • Alejandro Javier García
    • Artificial Intelligence Research and Development Laboratory, Department of Computer Science and EngineeringUniversidad Nacional del Sur
    • Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET)
  • Gabriele Kern-Isberner
    • Technische Universitaet Dortmund, Department of Computer ScienceUniversity of Dortmund
  • Guillermo Ricardo Simari
    • Artificial Intelligence Research and Development Laboratory, Department of Computer Science and EngineeringUniversidad Nacional del Sur
Article

DOI: 10.1007/s10992-011-9217-z

Cite this article as:
Falappa, M.A., García, A.J., Kern-Isberner, G. et al. J Philos Logic (2013) 42: 161. doi:10.1007/s10992-011-9217-z

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 revisionAGM modelArgumentation systems

Copyright information

© Springer Science+Business Media B.V. 2011