The Complexity of Belief Update

  title={The Complexity of Belief Update},
  author={Paolo Liberatore},
  journal={Artif. Intell.},
Belief revision and belief update are two different forms of belief change, and they serve different purposes. In this paper we focus on belief update, the formalization of change in beliefs due to changes in the world. The complexity of the basic update (introduced by Winslett [1990]) has been determined in [Eiter and Gottlob, 1992]. Since then, many other formalizations have been proposed to overcome the limitations and drawbacks of Winslett’s update. In this paper we analyze the complexity… CONTINUE READING
Highly Cited
This paper has 41 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
26 Citations
16 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 16 references

How hard is it to revise a knowledge base? Technical Report 83

  • B. Nebel
  • Albert-LudwigsUniversität Freiburg, Institut für…
  • 1996

The PMA revised

  • A. Herzig
  • Proc. of KR-96, pages 40–50
  • 1996
2 Excerpts

CURB your theory! In Proc

  • T. Eiter, G. Gottlob, Y. Gurevich
  • of IJCAI-93, pages 634–639
  • 1993
2 Excerpts

Similar Papers

Loading similar papers…