Contraction of Epistemic States: A General Theory

We are going to describe a general framework for representing belief change based on the notion of an epistemic state. The latter subsumes essential, though implicit, features of the current representations, and in this way is intended to provide foundations for a (future) general theory of belief change.

[1]  André Fuhrmann,et al.  Theory contraction through base contraction , 1991, J. Philos. Log..

[2]  R. Loui,et al.  Change in View , 1987, Artif. Intell..

[3]  Sven Ove Hansson,et al.  Changes of disjunctively closed bases , 1993, J. Log. Lang. Inf..

[4]  S. Hansson.  In defense of base contraction , 1992, Synthese.

[5]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[6]  Hans Rott.  Belief Contraction in the Context for the General Theory of Rational Choice , 1993, J. Symb. Log..

[7]  David Poole,et al.  A Logical Framework for Default Reasoning , 1988, Artif. Intell..

[8]  Gabriel M. Kuper,et al.  Updating Logical Databases , 1986, Adv. Comput. Res..

[9]  Hans Rott,et al.  Preferential belief change using generalized epistemic entrenchment , 1992, J. Log. Lang. Inf..

[10]  Maurice Pagnucco,et al.  Severe Withdrawal (and Recovery) , 1999, J. Philos. Log..

[11]  Peter Gärdenfors,et al.  Knowledge, belief, and strategic interaction: The dynamics of belief systems: Foundations versus coherence theories , 1992 .

[12]  Sven Ove Hansson,et al.  Theory contraction and base contraction unified , 1993, Journal of Symbolic Logic.

[13]  Isaac Levi,et al.  CONTRACTION AND INFORMATIONAL VALUE , 1998 .

[14]  Alexander Bochman.  Entrenchment versus Dependence: Coherence and Foundations in Belief Change , 2002, J. Log. Lang. Inf..

[15]  Peter Gärdenfors,et al.  Belief Revision , 1995 .

[16]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[17]  H. Kyburg.  The Fixation of Belief and Its Undoing , 1994 .

[18]  André Fuhrmann,et al.  A survey of multiple contractions , 1994, J. Log. Lang. Inf..

[19]  Alexander Bochman,et al.  A Foundational Theory of Belief and Belief Change , 1999, Artif. Intell..

[20]  Bernhard Nebel,et al.  A Knowledge Level Analysis of Belief Revision , 1989, KR.

[21]  Alvaro del Val.  On the Relation between the Coherence and Foundations Theories of Belief Revision , 1994, AAAI.

[22]  Sven Ove Hansson,et al.  Levi Contractions and AGM Contractions: a Comparison , 1995, Notre Dame J. Formal Log..

[23]  Alexander Bochman.  A foundationalist view of the AGM theory of belief change , 2000, Artif. Intell..