How to Change Factual Beliefs Using Laws and Dependence Information

We investigate how belief change operations can be effectively constructed. To that end we suppose given a set of laws (alias integrity constraints) together with a relation of dependence between formulas.

[1]  Karl Schlechta.  Some Completeness Results for Propositional Conditional Logics , 1995, Log. J. IGPL.

[2]  L. Jonathan Cohen.  Some Steps Towards a General Theory of Relevance , 1994 .

[3]  Krister Segerberg.  On the Logic of Small Changes in Theories II , 1987 .

[4]  Erik Sandewall,et al.  The Range of Applicability of Nonmonotonic Logics for the Inertia Problem , 1993, IJCAI.

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

[6]  Vladimir Lifschitz,et al.  Frames in the Space of Situations , 1990, Artif. Intell..

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

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

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

[10]  Peter Gärdenfors,et al.  Belief Revision: Contents , 1992 .

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

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

[13]  Luis Fariñas del Cerro,et al.  Sequents for dependence logics , 1991 .

[14]  Luis Fariñas del Cerro,et al.  An Ordinal View of Independence with Application to Plausible Reasoning , 1994, UAI.

[15]  C. Howson.  Theories of Probability , 1995 .

[16]  Robert Stalnaker,et al.  What is a Nonmonotonic Consequence Relation? , 1994, Fundam. Informaticae.

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

[18]  Ana Gabriela Maguitman,et al.  Belief revision and relevance , 1999 .

[19]  Peter Gärdenfors.  On the logic of relevance , 1978 .

[20]  Georg Gottlob,et al.  Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information , 1993, IJCAI.

[21]  Pierre Marquis,et al.  Knowledge Compilation Using Theory Prime Implicates , 1995, IJCAI.

[22]  Marianne Winslett,et al.  Reasoning about Action Using a Possible Models Approach , 1988, AAAI.

[23]  J. Hartigan.  Theories of Probability , 1983 .

[24]  Luis Fariñas del Cerro,et al.  Possibility Theory and Independence , 1994, IPMU.