Skip to main content
SpringerLink
Log in

A mixed approach of revision in propositional calculus

  • Conference paper
  • First Online:
Book cover Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU 1993)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 747))

Abstract

In this paper, we focus on minimal change in the revision of knowledge bases represented by propositional formulas. We first present a quick survey of semantic and syntactic approaches of revision, we then propose a mixed approach of revision which uses both semantic and syntactic means.

I should like to thank C.Schwind for helpful discussions and for her support.

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. Alchourron, P. Gärdenfors, D. Makinson. On the logic of theory change: Partial meet functions for contraction and revision. Journal of Symbolic Logic 50:510–530, 1985.

    Google Scholar 

  2. A. Bordiga. Language features for flexible handling of exceptions in information systems. ACM Trans. Database Syst.,(10):563–603, 1985.

    Google Scholar 

  3. M. Dalal. Investigations into a theory of knowledge base revision. Proceedings of the Seventh National Conference on Artificial Intelligence,:475–479, 1988.

    Google Scholar 

  4. P. Gärdenfors. Knowledge in flux: modelling the dynamics of epistemic states. MIT Press, 1988.

    Google Scholar 

  5. S. Jeannicot, L. Oxusoff, A. Rauzy. Evaluation sémantique en calcul propositionnel: une propriété de coupure pour rendre efficace la procédure de Davis et Putnam. Revue d'Intelligence Artificielle,(2):1 41–60, 1988.

    Google Scholar 

  6. H. Katsuno, A. Mendelzon. Propositional knowledge base revision and minimal change. Artificial Intelligence,(52):263–294, 1991.

    Google Scholar 

  7. B. Nebel. A knowledge level analysis of belief revision. Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning,R.J. Brachman,H.J. Levesque, and R. Reiter editors. Toronto. Ontario.,:301–311, 1989.

    Google Scholar 

  8. B. Nebel. Belief revision and default reasoning: syntax-based approaches. Proceedings of Knowledge Representation,:30 417–427, 1991.

    Google Scholar 

  9. L. Oxusoff, A. Rauzy. Evaluation sémantique en calcul propositionnel. Thèse de doctorat. GIA Université d'Aix-Marseille II. Luminy, 1989.

    Google Scholar 

  10. O. Papini. Revision in propositional calculus. Proceedings of ECSQAU 91. Lectures Notes in Computer Sciences.R.Kruse P.Siegel Eds. Springer Verlag,(548):272–276, 1991.

    Google Scholar 

  11. O. Papini. A complete revision function in propositional calculus. Proceedings of ECAI 92. B.Neumann Ed. J. Wiley & sons,339–343, 1992.

    Google Scholar 

  12. Lea Sombe. Revision de bases de connaissances. Actes des 4emes journes nationales du PRC-GDR IA. Marseille,207–235, 1992.

    Google Scholar 

  13. M. Winslett. Reasoning about action using a possible models approach. Proceedings of the Seventh National Conference on Artificial Intelligence,:89–93, 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. G.I.A. Université d'Aix-Marseille II, 163 avenue de Luminy, 13288, Marseille cédex 9, France

    Odile Papini

  2. La.B.R.I. CNRS Université de Bordeaux I, 351 cours de la liberation, 33405, Talence cédex, France

    Antoine Rauzy

Authors
  1. Odile Papini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Antoine Rauzy
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Michael Clarke Rudolf Kruse Serafín Moral

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Papini, O., Rauzy, A. (1993). A mixed approach of revision in propositional calculus. In: Clarke, M., Kruse, R., Moral, S. (eds) Symbolic and Quantitative Approaches to Reasoning and Uncertainty. ECSQARU 1993. Lecture Notes in Computer Science, vol 747. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0028213

Download citation

  • DOI: https://doi.org/10.1007/BFb0028213

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57395-1

  • Online ISBN: 978-3-540-48130-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation