Ten Philosophical Problems in Belief Revision

The paper introduces ten open problems in belief revision theory, related to the representation of the belief state, to different notions of degrees of belief, and to the nature of change operations. It is argued that these problems are all issues in philosophical logic, in the strong sense of requiring inputs from both logic and philosophy for their solution.

[1]  Arthur M. Keller,et al.  On the Use of an Extended Relational Model to Handle Changing Incomplete Information , 1985, IEEE Transactions on Software Engineering.

[2]  Dag Westerståhl,et al.  Logic and Philosophy of Science in Uppsala. , 1994 .

[3]  Sven Ove Hansson,et al.  A survey of multiple contraction , 1994 .

[4]  D. Dubois,et al.  Belief Change Rules in Ordinal and Numerical Uncertainty Theories , 1998 .

[5]  Sven Ove Hansson.  The emperor's new clothes: some recurring problems in the formal analysis of counterfactuals , 1996 .

[6]  Sven Ove Hansson.  Coherentist Contraction , 2000, J. Philos. Log..

[7]  Jürg Kohlas,et al.  Handbook of Defeasible Reasoning and Uncertainty Management Systems , 2000 .

[8]  I. Levi.  Iteration of conditionals and the Ramsey test , 1988, Synthese.

[9]  S. Hansson.  Belief base dynamics , 1991 .

[10]  Alvaro del Val.  Nonmonotonic Reasoning and Belief Revision: Syntactic, Semantic, Foundational, and Coherence Approaches , 1997, J. Appl. Non Class. Logics.

[11]  S. Hansson.  Changes in preference , 1995 .

[12]  H. Kyburg.  Iterated Belief Change Based on Epistemic Entrenchment* , 1994 .

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

[14]  André Fuhrmann,et al.  Reflective modalities and theory change , 1989, Synthese.

[15]  Andreas Herzig,et al.  Conditionals: from philosophy to computer science , 1996 .

[16]  Jun Li.  A Note on Partial Meet Package Contraction , 1998, J. Log. Lang. Inf..

[17]  Mukesh Dalal,et al.  Investigations into a Theory of Knowledge Base Revision , 1988, AAAI.

[18]  John Cantwell,et al.  Credibility limited revision , 2001, Journal of Symbolic Logic.

[19]  Peter Gärdenfors,et al.  Knowledge in Flux , 1988 .

[20]  Sven Ove Hansson,et al.  Taking Belief Bases Seriously , 1994 .

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

[22]  Sven Ove Hansson.  The Rôle of Language In Belief Revision , 2002, Stud Logica.

[23]  Andrew McLaughlin.  Science, reason and value , 1970 .

[24]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

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

[26]  André Fuhrmann,et al.  The Logic of Theory Change , 1991, Lecture Notes in Computer Science.

[27]  Sven Ove Hansson,et al.  Local Change , 2002, Stud Logica.

[28]  SVEN OVE HANSSON,et al.  Reversing the Levi identity , 1993, J. Philos. Log..

[29]  Hirofumi Katsuno,et al.  On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.

[30]  Isaac Levi.  Subjunctives, dispositions and chances , 1977 .

[31]  Karl Schlechta.  Some results on theory revision , 1989, The Logic of Theory Change.

[32]  Reinhard Niederée.  Multiple contraction. A further case against Gärdenfors' principle of recovery , 1989, The Logic of Theory Change.

[33]  Wolfgang Spohn,et al.  Ordinal Conditional Functions: A Dynamic Theory of Epistemic States , 1988 .

[34]  Hans Rott,et al.  Change, choice and inference , 2001 .

[35]  P. Gärdenfors.  Belief Revisions and the Ramsey Test for Conditionals , 1986 .

[36]  Sven Ove Hansson,et al.  In Defense of the Ramsey Test , 1992 .

[37]  Sten Lindström,et al.  Conditionals and the Ramsey test , 1998 .

[38]  R. Jeffrey.  Valuation and Acceptance of Scientific Hypotheses , 1956, Philosophy of Science.

[39]  Maurice Pagnucco,et al.  The Role of Abductive Reasoning within the Process of Belief Revision , 1996 .

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

[41]  C. Hartshorne,et al.  Collected Papers of Charles Sanders Peirce , 1935, Nature.

[42]  P. Smets.  Numerical Representation of Uncertainty. , 1998 .

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

[44]  E. J. Bond,et al.  Reason and Value , 1983 .

[45]  Isaac Levi,et al.  The Enterprise Of Knowledge , 1980 .

[46]  Erik J Olsson.  Coherence : Studies in epistemology and belief revision , 1997 .

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