Skip to main content
SpringerLink
Log in

Filtering vs Revision and Update: let us Debate!

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

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

Abstract

Recent extensions of classical belief change processes tend to get closer to numerical estimation techniques. A thorough investigation is proposed, in which Kalman filtering is confronted to classical AGM revision and KM update and to more recent approaches. The aim is to identify common aspects and differences, and to highlight the progressive evolution of belief change processes towards what would be a symbolic transposition of numerical estimation tools.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. C. Alchourròn, P. Gardenfors, and D. Makinson. On the logic of theory change: partial meet contraction and revision functions. Journal of Symbolic Logic, 50:510–530, 1985.

    Article  MATH  MathSciNet  Google Scholar 

  2. H. A. P. Blom. An efficient filter for abruptly changing systems. In Proc. of 23rd Conference on Decision and Control, Las Vegas, 1984.

    Google Scholar 

  3. C. Boutilier. A unified model of qualitative belief change: a dynamical systems perspective. Artificial Intelligence, 1-2:281–316, 1998.

    Article  MathSciNet  Google Scholar 

  4. C. Boutilier, N. Friedman, and J. Y. Halpern. Belief revision with unreliable observations. In AAAI’98, Madison, USA, 1998.

    Google Scholar 

  5. A. Cassandra, L.P. Kaelbling, and M. Littman. Acting optimally in partially observable stochastic domains. In AAAI’94, pages 1023–1028, 1994.

    Google Scholar 

  6. C. Castel, C. Cossart, and C. Tessier. Dealing with uncertainty in situation assessment: towards a symbolic approach. In UAI’98, pages 61–68, 1998.

    Google Scholar 

  7. M.O. Cordier and J. Lang. Linking transition-based update and base revision. In ECSQARU’95, pages 133–141, Fribourg, Suisse, 1995.

    Google Scholar 

  8. M.O. Cordier and P. Siegel. Prioritized transitions for updates. In ECSQARU’95, Fribourg, Suisse, 1995.

    Google Scholar 

  9. A. Darwiche and J. Pearl. On the logic of iterated belief revision. Artificial Intelligence, 89:1–29, 1997.

    Article  MATH  MathSciNet  Google Scholar 

  10. D. Dubois, F. Dupin de Saint-Cyr, and H. Prade. Update postulates without inertia. In ECSQARU’95, pages 162–170, Fribourg, Suisse, 1995.

    Google Scholar 

  11. D. Dubois and H. Prade. Belief change rules in ordinal and numerical uncertainty theories. In D.M. Gabbay and P. Smets, editors, Handbook of Defeasible Reasoning and Uncertainty Management Systems, volume 3, pages 311–392. Kluwer Academic Publishers, 1998.

    Google Scholar 

  12. P. Fabiani. Dynamics of beliefs and strategy of perception. In ECAI’96, pages 8–12, 1996.

    Google Scholar 

  13. N. Friedman and J. Y. Halpern. Belief revision: a critique. In KR’96, pages 421–431, 1996. More detailed version accepted for publication inJournal of Logic, Language, and Information.

    Google Scholar 

  14. N. Friedman and J. Y. Halpern. Modeling belief in dynamic systems. Part II: revision and update. Journal of Artificial Intelligence Research, 1998. Accepted for publication. Preliminary version in Proc. of KR’94.

    Google Scholar 

  15. M. S. Grewal and A. P. Andrews. Kalman Filtering-Theory and Practice. Prentice Hall, 1993.

    Google Scholar 

  16. R. E. Kalman. A new approach to linear filtering and prediction problems. Trans. of the ASME-Journal of Basic Engineering, 82:35–45, 1960.

    Google Scholar 

  17. H. Katsuno and A. Mendelzon. On the difference between updating a knowledge base and revising it. In KR’91, pages 387–394, 1991.

    Google Scholar 

  18. D. Lehmann. Belief revision, revised. In IJCAI’95, 1995.

    Google Scholar 

  19. D. T. Magill. Optimal adaptive estimation of sampled stochastic processes. IEEE Transactions on Automatic Control, AC-10(4):434–439, 1965.

    Article  MathSciNet  Google Scholar 

  20. O. Papini. Iterated revision operations stemming from the history of an agent’s observations. In Belief Revision Workshop of KR’98, 1998.

    Google Scholar 

  21. B. S. Y. Rao, H. F. Durrant-Whyte, and J. A. Sheen. A fully decentralized multisensor system for tracking and surveillance. The International Journal of Robotics Research, 12(1):20–44, 1993.

    Article  Google Scholar 

  22. J. K. Tugnait and A. H. Hadad. A detection-estimation scheme for state estimation in switching environments. Automatica, 15:477–481, 1979.

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Onera-Cert, 2 av. E. Belin, BP 4025, F-31055, Toulouse Cedex 4, France

    Corine Cossart & Catherine Tessier

Authors
  1. Corine Cossart
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Catherine Tessier
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University College London, Gower Street, WC1E 6BT, London, UK

    Anthony Hunter

  2. Department of Electronic Engineering, University of London, Queen Mary and Westfield College, E1 4NS, London, UK

    Simon Parsons

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cossart, C., Tessier, C. (1999). Filtering vs Revision and Update: let us Debate!. In: Hunter, A., Parsons, S. (eds) Symbolic and Quantitative Approaches to Reasoning and Uncertainty. ECSQARU 1999. Lecture Notes in Computer Science(), vol 1638. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48747-6_11

Download citation

  • DOI: https://doi.org/10.1007/3-540-48747-6_11

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66131-3

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation