Skip to main content
SpringerLink
Log in
Book cover

European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty

ECSQARU 1995: Symbolic and Quantitative Approaches to Reasoning and Uncertainty pp 328–335Cite as

Revision in extended propositional calculus

  • Conference paper
  • First Online:

  • 164 Accesses

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

Abstract

In this paper we propose a new modality, denoted by b, which allow preferences in propositional knowledge bases. Formulae with b are interpreted in a weighted propositional calculus. This new modality can be used in order to define a revision operator that satisfy Alchouron, Gärdenfors and Makinson postulates modified by Katsuno et Mendelzon.

This work has been sponsored by the ESPRIT Working Group 7035 “LAC” and the inter-PRC project “gestion de l'évolutif et de l'incertain”.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. C. Alchourron, P. Gärdenfors, and 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 Transactions on DataBase System, 10, 1985.

    Google Scholar 

  3. M. Dalal. Investigations into Theory of Knowledge Base Revision. In Proceedings of the 7th National Conference on Artificial Intelligence, pages 475–164, 1988.

    Google Scholar 

  4. Gärdenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. Bradford Books. MIT Press, Cambridge, 1988.

    Google Scholar 

  5. J.Y. Girard. Linear Logic. Theoretical Computer Science, 50:1–102, 1987.

    Article  Google Scholar 

  6. H. Katsuno and A. Mendelzon. Propositional Knowledge Base Revision and Minimal Change. Journal of Artificial Intelligence, 52:263–294, 1991.

    Google Scholar 

  7. O. Papini and A. Rauzy. A Mixed Approach of Revision in Propositional Calculus. In R. Kruse M. Clarke and S. Moral, editors, Proceedings of ECSQARU'93, volume 747, pages 296–303. LNCS, 1993.

    Google Scholar 

  8. G. H. von Wright. And Next. Acta Philos. Fenn. Fasc., 18:297–304, 1965.

    Google Scholar 

  9. M. Winslett. Reasoning about action using a possible models approach. In Proc. of the 7th National Conf. on Artificial intelligence, pages 89–93, 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIM, Faculté des sciences de Luminy, 163 Avenue de Luminy, 13288, Marseille Cedex 9, France

    Odile Papini

  2. LaBRI, Université Bordeaux I, cours de la Libération, 33405, Talence Cedex, 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

Christine Froidevaux Jürg Kohlas

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Papini, O., Rauzy, A. (1995). Revision in extended propositional calculus. In: Froidevaux, C., Kohlas, J. (eds) Symbolic and Quantitative Approaches to Reasoning and Uncertainty. ECSQARU 1995. Lecture Notes in Computer Science, vol 946. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60112-0_38

Download citation

  • DOI: https://doi.org/10.1007/3-540-60112-0_38

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60112-8

  • Online ISBN: 978-3-540-49438-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation