Logic Journal of IGPL Advance Access published online on August 12, 2009
Logic Journal of IGPL, doi:10.1093/jigpal/jzp036
A reason maintenance perspective on relevant Ramsey conditionals
Department of Computer Science, German University in Cairo, Cairo, Egypt.
E-mail: haythem.ismail{at}guc.edu.eg
This paper presents a Ramsey account of conditionals within the framework of an implemented reason maintenance system. The reason maintenance system is built on top of a deductive reasoning engine based on relevance logic. Thus, the account of conditionals provided is not susceptible to the fallacies of relevance. In addition, it is shown that independently motivated requirements on practical relevant reason maintenance allow us to gracefully circumvent Gärdenfors's triviality result.
Key Words: Conditionals • Ramsey test • Reason maintenance • Relevance logic
Received for publication 1 December 2007.
References
-
[1] Alchourron Carlos E, Gärdenfors Peter, Makinson David. On the logic of theory change: Partial meet contraction and revision functions. The Journal of Symbolic Logic (1985) June;50(2):510–530.[CrossRef]
[2] Anderson Alan, Belnap Nuel. Entailment (1975) I. Princeton, NJ: Princeton University Press.
[3] Anderson Michael L, Perlis Donald R. Logic, self-awareness and self-improvement: The metacognitive loop and the problem of brittleness. Journal of Logic and Computation (2005) 15(1):21–40.
[4] Costa Horacio Arló, Levi Isaac. Two notions of epistemic validity: Epistemic models for Ramsey's conditionals. Synthese (1996) 109:217–262.[CrossRef][Web of Science]
[5] Costello Tom, McCarthy John. Useful counterfactuals. Linköping Electronic Articles in Computer and Information Science (1999) 4(12).
[6] Darwiche Adnan, Pearl Judea. On the logic of iterated belief revision. Artificial Intelligence (1997) 89:1–29.[CrossRef][Web of Science]
[7] de Kleer Johan. An assumption-based TMS. Artificial Intelligence (1986) 28:127–162.[CrossRef][Web of Science]
[8] Doyle Jon. A truth maintenance system. Artificial Intelligence (1979) 12(3):231–272.[CrossRef][Web of Science]
[9] Elgot-Drapkin Jennifer J, Perlis Donald. Reasoning situated in time I: Basic concepts. Journal of Experimental and Theoretical Artificial Intelligence (1990) 2:75–98.[CrossRef]
[10] Gärdenfors Peter. Belief revisions and the Ramsey test for conditionals. The Philosophical Review (1986) 95(1):81–93.[CrossRef]
[11] Gärdenfors Peter. Variations on the Ramsey test: More triviality results. Studia Logica (1987) 46:321–327.[CrossRef]
[12] Giordano Laura, Gliozzi Valentina, Olivetti Nicola. Belief revision and the Ramsey test: A solution. In: AI*IA 2001: Advances in Artificial Intelligence: 7th Congress of the Italian Association for Artificial Intelligence (2001) Berlin/Heidelberg: Springer-Verlag. 165–175. number 2175 in LNAI.
[13] Grahne Gösta. Updates and counterfactuals. Journal of Logic and Computation (1998) 8(1):87–117.
[14] Hansson Sven Ove. In defence of the Ramsey test. The Journal of Philosophy (1992) October;89(10):522–540.[CrossRef]
[15] Hansson Sven Ove. Kernel contraction. Journal of Symbolic Logic (1994) September;59(3):845–859.[CrossRef][Web of Science]
[16] Hansson Sven Ove. A survey of non-prioritized belief revision. Erkenntnis (1999) 50(2–3):413–427.[CrossRef]
[17] Hughes GE, Cresswell MJ. A New Introduction to Modal Logic (1996) London and New York: Routledge.
[18] Ismail Haythem O. Reasoning and Acting in Time (2001) University at Buffalo, The State University of New York. PhD thesis.
[19] Ismail Haythem O, Shapiro Stuart C. Two problems with reasoning and acting in time. (2000) San Francisco, CA: Morgan Kaufmann. 355–365. Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR 2000).
[20] Johnson Frances L, Shapiro Stuart C. Automatic belief revision in SNePS. In: Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (NMR2000) (2000) Unpaginated, 5 pages.
[21] Johnson Frances L, Shapiro Stuart C. Dependency-directed reconsideration: Belief base optimization for truth maintenance systems. (2005) 313–320. In Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05).
[22] Katsuno Hirofumi, Mendelzon Alberto. On the difference between updating a knowledge base and revising it. (1991) 387–394. In Principles of Knowledge Representation and Reasoning: Proceedings of the second International Conference (KR’91).
[23] Kern-Isberner Gabriele. Postulates for conditional belief revision. (1999) Morgan Kaufmann. 186–191. Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI-99).
[24] Kratzer Angelika. Partition and revision: The semantics of counterfactuals. Journal of Philosophical Logic (1981) 10:201–216.[Web of Science]
[25] Kratzer Angelika. An investigation into the lumps of thougth. Linguistics and Philosophy (1989) 12:607–653.[CrossRef][Web of Science]
[26] Levi Isaac. Iteration of conditionals and the Ramsey test. Synthese (1988) 76:49–81.[CrossRef][Web of Science]
[27] Lewis David. Counterfactuals (1973) Oxford, England: Blackwell Publishers.
[28] Lindström Sten, Rabinowicz Wlodzimierz. The Ramsey test revisited. In: Conditionals: From philosophy to computer science (1996) Oxford, UK: Oxford University Press. 147–191.
[29] Makinson David. The Gärdenfors impossibility theorem in non-monotonic contexts. Studia Logica (1990) 49(1):1–6.[CrossRef]
[30] Mares Edwin. Relvant logic and the theory of information. Synthese (1997) 109:345–360.[CrossRef][Web of Science]
[31] Mares Edwin, Fuhrmann André. A relevant theory of conditionals. Journal of Philosophical Logic (1995) 24:645–665.[CrossRef][Web of Science]
[32] Martins João, Shapiro Stuart C. A model for belief revision. Artificial Intelligence (1988) 35(1):25–79.[CrossRef][Web of Science]
[33] Nebel Bernhard. A knowledge level analysis of belief revision. (1989) Toronto, ON: Morgan Kaufmann. 301–311. Principles of Knowledge Representation and Reasoning: Proceedings of the First International Conference (KR’89).
[34] Ortiz Charles. Explanatory update theory: Applications of counterfactual reasoning to causation. Artificial Intelligence (1999) 108(1–2):125–178.[CrossRef][Web of Science]
[35] Pearl Judea. Causality (2000) New York: Cambridge University Press.
[36] Van Orman Quine Willard. Methods of Logic (Fourth Edition) (2006) Cambridge, Massachusetts: Harvard University Press.
[37] Rott Hans. Conditionals and theory change: Revisions, expansions, and additions. Synthese (1989) 81:91–113.[CrossRef][Web of Science]
[38] Segerberg Krister. A note on an impossibility theorem of Gärdenfors. Noûs (1989) June;23(3):351–354.[Web of Science]
[39] Shapiro Stuart C. Relevance logic in computer science. In: Entailment (1992) II. Princeton, NJ: Princeton University Press. 553–563.
[40] Shapiro Stuart C. SNePS: A logic for natural language understanding and commonsense reasoning. In: Natural Language Processing and Knowledge Representation: Language for Knowledge and Knowledge for Language (2000) CA: AAAI Press/The MIT Press, Menlo Park. 175–195.
[41] Shapiro Stuart C, Ismail Haythem O. Anchoring in a grounded layered architecture with integrated reasoning. Robotics and Autonomous Systems (2003) 43(2-3):97–108.[CrossRef][Web of Science]
[42] Shapiro Stuart C, Rapaport William J. SNePS considered as a fully intensional propositional semantic network. In: The Knowledge Frontier (1987) New York: Springer-Verlag. 263–315.
[43] Stalnaker Robert. A theory of conditionals. In: Studies in Logical Theory (1968) Oxford: Basil Blackwell Publishers. 98–112. number 2 in American Philosophical Quarterly, Monograph Series.
[44] Williams Mary-Anne. Transmutations of knowledge systems. (1994) San Francisco, CA: Morgan Kaufmann. 619–629. Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference (KR’94).
CiteULike 
Connotea 
Del.icio.us What's this?
| ||||||||||||||||||||||||||||||||||||||||||||||