Skip to main content
SpringerLink
Log in

A generalized approach to consistency based belief revision

  • Conference paper
  • First Online:
Topics in Artificial Intelligence (AI*IA 1995)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 992))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. 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. 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. M.Dalal, “Investigations into a theory of knowledge base revision: preliminary report”, (AAAI' 88), 475–479.

    Google Scholar 

  5. S.Dixon and N.Foo, “Connections between the ATMS and AGM belief revision”, (IJCAI' 93), 534–539.

    Google Scholar 

  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. 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. 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. 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. J.R.Galliers, “Modelling Autonomous Belief Revision in Dialogue”, Tech Rep. Cambridge University Comp. Lab., Cambridge (England), 1989.

    Google Scholar 

  11. P.Gärdenfors, “Knowledge in Flux: Modeling the Dynamic of Epistemic States”, The MIT Press, Cambridge, MA, 1988.

    Google Scholar 

  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. 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. J.P.Martins, S.C.Shapiro, “A Model for Belief Revision”, Artificial Intelligence, 35 (1), 25–79, 1988.

    Google Scholar 

  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. B.Nebel, “Base revision operations and schemes: semantics, representation and complexity”, (ECAI' 94), 341–345.

    Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. Computer Sciences Institute, University of Ancona, Via Brecce Bianche, 60131, Ancona, Italy

    Aldo Franco Dragoni, Francesca Mascaretti & Paolo Puliti

Authors
  1. Aldo Franco Dragoni
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Francesca Mascaretti
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Paolo Puliti
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Marco Gori Giovanni Soda

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dragoni, A.F., Mascaretti, F., Puliti, P. (1995). A generalized approach to consistency based belief revision. In: Gori, M., Soda, G. (eds) Topics in Artificial Intelligence. AI*IA 1995. Lecture Notes in Computer Science, vol 992. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60437-5_22

Download citation

  • DOI: https://doi.org/10.1007/3-540-60437-5_22

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60437-2

  • Online ISBN: 978-3-540-47468-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation