A generalized approach to consistency based belief revision

  • Aldo Franco Dragoni
  • Francesca Mascaretti
  • Paolo Puliti
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 992)


This paper presents the basic ideas of a consistency-based approach to Belief Revision that allows the rejection of the newcoming information. This choice is justified for some application domains and leads to the definition of two distinct sets of formulas: the “Belief Base”, which is the eventually inconsistent collection of all the available pieces of information, and the “Reasoning Base” which is the consistent outcome of the revision process. The selection of the Reasoning Base, among the many possible maximally consistent subsets of the Belief Base, is induced by an ordering on the sentences that does not reflect necessarily the chronological order of the arrivals of the information.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    C.E.Alchourrón, P.Gärdenfors and D.Makinson, “On the logic of Theory change: partial meet contraction and revision functions”, The Journal of Symbolic Logic, vol. 50, 510–530, (1985).Google Scholar
  2. [2]
    S.Benferhat, C.Cairol, D.Dubois, J.Lang and H.Prade, “Inconsistency management and prioritized syntax-based entailment”, Proc. of the 13th Inter. Joint Conf. on Artificial Intelligence (IJCAI' 93), 640–645.Google Scholar
  3. [3]
    G.Brewka, “Preferred subtheories: An extended logical framework for default reasoning”, Proc. of the 11th Inter. Joint Conf. on Artificial Intelligence (IJCAI' 89), 1043–1048.Google Scholar
  4. [4]
    M.Dalal, “Investigations into a theory of knowledge base revision: preliminary report”, (AAAI' 88), 475–479.Google Scholar
  5. [5]
    S.Dixon and N.Foo, “Connections between the ATMS and AGM belief revision”, (IJCAI' 93), 534–539.Google Scholar
  6. [6]
    A.F.Dragoni, “A Model for Belief Revision in a Multi-Agent Environment”, E. Werner & Y. Demazeau (Eds.), Decentralized A. I., 3. NH Elsevier Science Publisher, 1992.Google Scholar
  7. [7]
    A.F.Dragoni, P.Puliti and P.Giorgini, “Distributed belief revision versus distributed truth maintenance”, Proc. of the 6th IEEE Inter. Conf. on Tools with Artificial Intelligence, New Orleans, 6–9 November 1994.Google Scholar
  8. [8]
    A.F.Dragoni, M.Di Manzo, “Supporting Complex Inquiries”, accepted for publication by International Journal of Intelligent Systems, John Wiley & Sons (Eds.), 1995.Google Scholar
  9. [9]
    D.Dubois and H.Prade, “A survey of belief revision and updating in various uncertainty models”, International Journal of Artificial Intelligent Systems, vol. 9, 61–100, (1994).Google Scholar
  10. [10]
    J.R.Galliers, “Modelling Autonomous Belief Revision in Dialogue”, Tech Rep. Cambridge University Comp. Lab., Cambridge (England), 1989.Google Scholar
  11. [11]
    P.Gärdenfors, “Knowledge in Flux: Modeling the Dynamic of Epistemic States”, The MIT Press, Cambridge, MA, 1988.Google Scholar
  12. [12]
    Léa Sombé, “A glance at revision and updating in knowledge bases”, International Journal of Artificial Intelligent Systems, vol 9, 1–27, (1994).Google Scholar
  13. [13]
    F.Lévy, “A survey of belief revision and updating in classical logic”, International Journal of Artificial Intelligent Systems, vol 9, 29–59, (1994).Google Scholar
  14. [14]
    J.P.Martins, S.C.Shapiro, “A Model for Belief Revision”, Artificial Intelligence, 35 (1), 25–79, 1988.Google Scholar
  15. [15]
    B.Nebel, “A knowledge level analysis of belief revision”, R.J. Brechman H.J. Levasque and R. Reiter (Eds.), Proc. of the Inter. Conf. of Principles in Knowledge Representation and Reasoning (KR' 89), 301–311.Google Scholar
  16. [16]
    B.Nebel, “Base revision operations and schemes: semantics, representation and complexity”, (ECAI' 94), 341–345.Google Scholar
  17. [17]
    L.Willard and Y.Y.Li, “The revised Gärdenfors postulates and update semantics”, Proc. of the 3th Inter. Conf.on Database Theory (ICDT' 90), Lectures Notes in Computers Sciences, vol 470, Springer-Verlag, Berlin.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Aldo Franco Dragoni
    • 1
  • Francesca Mascaretti
    • 1
  • Paolo Puliti
    • 1
  1. 1.Computer Sciences InstituteUniversity of AnconaAnconaItaly

Personalised recommendations