Belief contraction as nonmonotonic inference

A notion of an epistemic state is introduced as a generalization of common representations suggested for belief change. Based on it, a new kind of nonmonotonic inference relation corresponding to belief contractions is defined. A number of representation results is established that cover both traditional AGM contractions and contractions that do not satisfy recovery. ?

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

[2]  P G rdenfors,et al.  Knowledge in flux: modeling the dynamics of epistemic states , 1988 .

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

[4]  Peter Gärdenfors,et al.  Relations between the logic of theory change and nonmonotonic logic , 1989, The Logic of Theory Change.

[5]  Michael Freund,et al.  Injective Models and Disjunctive Relations , 1993, J. Log. Comput..

[6]  Peter Gärdenfors,et al.  Nonmonotonic Inference Based on Expectations , 1994, Artif. Intell..

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

[8]  Daniel Lehmann,et al.  What does a Conditional Knowledge Base Entail? , 1989, Artif. Intell..

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

[10]  Abhaya C. Nayak.  Foundational belief change , 1994, J. Philos. Log..

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

[12]  Bernhard Nebel,et al.  Belief Revision: Syntax based approaches to belief revision , 1992 .

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

[14]  Grigoris Antoniou,et al.  Nonmonotonic reasoning , 1997 .

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

[16]  C. E. Alchourrón,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985 .

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

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

[19]  David Makinson,et al.  General Theory of Cumulative Inference , 1988, NMR.

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

[21]  Fachgruppe Philosophie,et al.  Preferential Belief Change Using Generalized Epistemic Entrenchment , 1992 .