Causality and Minimal Change Demystified

The Principle of Minimal Change is prevalent in various guises throughout the development of areas such as reasoning about action, belief change and nonmonotonic reasoning. Recent literature has witnessed the proposal of several theories of action that adopt an explicit representation of causality. It is claimed that an explicit notion of causality is able to deal with the frame problem in a manner not possible with traditional approaches based on minimal change. However, such claims remain untested by all but representative examples. It is our purpose here to objectively test these claims in an abstract sense; to determine whether an explicit representation of causality is capable of providing something that the Principle of Minimal Change is unable to capture. Working towards this end, we provide a precise characterisation of the limit of applicability of minimal change.

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

[2]  W. Salmon,et al.  Knowledge in Flux , 1991 .

[3]  J. M. Larrazabal,et al.  Reasoning about change , 1991 .

[4]  Erik Sandewall,et al.  Filter Preferential Entailment for the Logic of Action in Almost Continuous Worlds , 1989, IJCAI.

[5]  J. McCarthy.  CIRCUMSCRIPTION — A FORM OF NONMONOTONIC REASONING , 2007 .

[6]  Michael Thielscher,et al.  Ramification and Causality , 1997, Artif. Intell..

[7]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

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

[9]  Fangzhen Lin,et al.  Embracing Causality in Specifying the Indeterminate Effects of Actions , 1996, AAAI/IAAI, Vol. 1.

[10]  E. Sandewall.  Features and fluents (vol. 1): the representation of knowledge about dynamical systems , 1995 .

[11]  Norman Y. Foo,et al.  Preferential Semantics for Causal Systems , 1999, IJCAI.

[12]  Henry A. Kautz.  The Logic of Persistence , 1986, AAAI.

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

[14]  Hudson Turner,et al.  Causal Theories of Action and Change , 1997, AAAI/IAAI.

[15]  Erik Sandewall.  Features and fluents : representation of knowledge about dynamical systems , 1994 .

[16]  Patrick Doherty,et al.  Reasoning about Action and Change Using Occlusion , 1994, ECAI.

[17]  Erik Sandewall,et al.  Assessments of Ramification Methods that Use Static Domain Constraints , 1996, International Conference on Principles of Knowledge Representation and Reasoning.

[18]  A. Sen,et al.  Social Choice Theory: A Re-Examination , 1977 .

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

[20]  Hudson Turner,et al.  A Causal Theory of Ramifications and Qualifications , 1995, IJCAI.