Computing belief revision

Bettina Berendt, Alan Smaill

Research output: ThesisMaster's Thesis

Abstract

This paper introduces a belief revision system on a foundational basis which uses epistemic entrenchment to guide its decisions in the face of conflict. The formalism satisfies the AGM postulates for believe revision and thus combines foundational and coherence approaches.
The belief revision system is based on a metatheoretic treatment of first-order logic and treats expansions and contractions as primitives. An algorithm is presented which describes a policy of accommodating new information. With minimal data requirements, this algorithm is guaranteed to lead to a consistent belief system while assembling and keeping as much information as possible and respecting a preference ordering over beliefs. A program based on this formal system has been implemented.
A desision-theoretic interpretation of this formalism is discussed.
Original languageEnglish
Publication statusPublished - 1992

Cite this