Counterfactuals and Updates as Inverse Modalities
- 62 Downloads
We point out a simple but hitherto ignored link between the theoryof updates, the theory of counterfactuals, and classical modal logic: update is a classicalexistential modality, counterfactual is a classical universalmodality, and the accessibility relations corresponding to these modalities are inverses. The Ramsey Rule (often thought esoteric) is simply an axiomatisation of this inverse relationship.
We use this fact to translate between rules for updates andrules for counterfactuals. Thus, Katsuno and Mendelzon‘s postulatesU1--U8 are translated into counterfactual rules C1--C8(Table VII), and many of the familiar counterfactual rulesare translated into rules for updates (Table VIII). Ourconclusions are summarised in Table V.
From known properties of inverse modalities we deduce that notall rules for updates may be translatedinto rules for counterfactuals, and vice versa. We present asyntactic condition which is sufficient to guarantee that atranslation from update to counterfactual (or vice versa) is possible.
Unable to display preview. Download preview PDF.
- Bell, J., 1989, "The logic of nonmonotonicity," Artificial Intelligence 41, 365–374.Google Scholar
- Burgess, J.P., 1981, "Quick completeness proofs for some logics of conditionals," NotreDame Journal of Formal Logic 22, 76–84.Google Scholar
- Chellas, B.F., 1980, "Basic conditional logic," Journal of Philosophical Logic 4, 133–153.Google Scholar
- de Rijke, M., 1994, "Meeting some neighbors," in Logic and Information Flow, J. van Eijck and A. Visser, eds., Cambridge, MA: MIT Press.Google Scholar
- Gärdenfors, P., 1978, "Conditionals and changes of belief," Acta Philos. Fennica 30, 381–404.Google Scholar
- Gärdenfors, P., 1986, "Belief revision and the Ramsey test for conditionals," Philosophical Review 91, 81–93.Google Scholar
- Gärdenfors, P., 1988, Knowledge in Flux: Modeling the Dynamics of Epistemic States, Cambridge, MA: MIT Press, Bradford Books.Google Scholar
- Goldblatt, R., 1987, Logics of Time and Computation, CSLI Lecture Notes.Google Scholar
- Grahne, G., 1991, "Updates and counterfactuals," pp. 269–276 in Proceedings Second International Conference on Principles of Knowledge Representation and Reasoning (KR ’91), n Francisco, CA: Morgan Kaufmann.Google Scholar
- Katsuno, H. and Mendelzon, A.O., 1991, "Propositional knowledge base revision and minimal change," Artificial Intelligence 52, 263–294.Google Scholar
- Katsuno, H. and Mendelzon, A.O., 1992, "On the difference between updating a knowledge base and revising it," pp. 183–203 in Belief Revision, Volume 29 in Cambridge Tracts in Theoretical Computer Science, P. Gärdenfors, ed., Cambridge: Cambridge University Press.Google Scholar
- Keller, A.M. and Winslett Wilkins, M., 1985, "On the use of an extended relational model to handle changing incomplete information," IEEE Transactions on Software Engineering 11(7), 620–633.Google Scholar
- Lewis, D.K., 1973, Counterfactuals, Oxford: Basil Blackwell.Google Scholar
- Makinson, D., 1985, "How to give it up: A survey of some formal aspects of the logic of theory change," Synthèse 62, 347–363.Google Scholar
- Nute, D., 1980, Topics in Conditional Logic, Dordrecht: D. Reidel.Google Scholar
- Nute, D., 1984, "Conditional logic," pp. 387–439 in Handbook of Philosophical Logic, Chapter II.8, D.M. Gabbay and F. Guenthner, eds., Dordrecht: D. Reidel.Google Scholar
- Pollock, J.L., 1981, "A refined theory of counterfactuals," Journal of Philosophical Logic 10, 239–266.Google Scholar
- Popkorn, S., 1994, First Steps in Modal Logic, Cambridge: Cambridge University Press.Google Scholar
- Ramsey, F.P., 1931, "Truth and probability," in The Foundations of Probability and Other Logical Essays, R.B. Braithwaite, ed., New York: Harcourt Brace.Google Scholar
- Ryan, M. and Schobbens, P.-Y., 1996, "Intertranslating counterfactuals and updates," pp. 100–104 in 12th European Conference on Artificial Intelligence (ECAI), W. Wahlster, ed., Chichester, U.K.: John Wiley & Sons.Google Scholar
- Ryan, M., Schobbens, P.-Y., and Rodrigues, O., 1996, "Counterfactuals and updates as inverse modalities," pp. 163–173 in TARK’96: Proceedings Theoretical Aspects of Rationality and Knowledge, Y. Shoham, ed., San Francisco: Morgan Kaufmann.Google Scholar
- Stalnaker, R.C., 1968, A Theory of Conditionals, Volume 2 of American Philosophical Quarterly Monograph Series (ed. Nicholas Rescher), pp. 98–112, Oxford: Blackwell.Google Scholar
- van Benthem, J., 1984, "Correspondence theory," pp. 167–247 in Handbook of Philosophical Logic, Volume 2, D. Gabbay and F. Guenthner, eds., Dordrecht: D. Reidel.Google Scholar
- van Benthem, J., 1991, "Logic and the flow of information," in Proceedings 9th LMPS.Google Scholar
- Venema, Y., 1991, "Many-dimensional modal logic," Ph.D. Thesis, Universiteit van Amsterdam.Google Scholar