Epistemic states guiding the rational dynamics of information

  • Authors:

  • Johannes Heidema;Isabella C. Burger

  • Affiliations:

  • Department of Mathematics, University of South Africa, Pretoria, South Africa;Department of Mathematics, Rand Afrikaans University, Johannesburg, South Africa

  • Venue:
  • PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

Abstract

An epistemic state here means a total preorder on the set of possible worlds. Simple epistemic states, with one or two equivalence classes, correspond to belief sets. Relative to a fixed belief set t, we define a comparative order on belief sets, expressing that 'y sorts the worlds closer to the way in which t sorts them than x does'. This induces a Boolean algebra, ordered very differently from, but isomorphic to the Lindenbaum-Tarski algebra under the isomorphism which sends x to x ↔ t. The isomorphism allows us to classify each inferential or conjectural step as being either in concord or in discord with the beliefs t. So t may now guide the logical dynamics of inference and conjecture, and hence of corroboration, refutation, diagnosis, abduction, etc. Going from belief sets to more general epistemic states, we show how similar constructions may guide AGM belief change.