Knowledge-Level Analysis of Belief Base Operations

  title={Knowledge-Level Analysis of Belief Base Operations},
  author={Sven Ove Hansson},
  journal={Artif. Intell.},
Recent developments in philosophical studies of belief revision have led to the construction of models that are much closer to actual computing systems than the earlier models. An operation of contraction (revision) on a logically closed belief set can be obtained by assigning to it a finite belief base and an operation of contraction (revision) on that base. Exact characterizations of such base-generated operations have been obtained. In this way, computational tractability and other realistic… CONTINUE READING

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 16 extracted citations


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

Theory contraction through base contraction

  • A. Fuhrrnann
  • J. Philos. Logic
  • 1991
Highly Influential
5 Excerpts

On the logic of theory change: contraction functions and their associated revision functions, Theoria

  • C. E. Alchourr6n, D. Makinson
  • 1982
Highly Influential
7 Excerpts

Similarity semantics and minimal changes of belief

  • S. O. Hansson
  • Erkenntnis
  • 1992

The Fixation of Belief and Its Undoing (Cambridge

  • I. Levi
  • 1991

New operators for theory change, Theoria

  • SO. Hansson
  • 1989

Similar Papers

Loading similar papers…