Abstract
This paper presents an axiomatization of a class of set-theoretic conditional operators using minimization of the geodesic distance defined as the shortest path generated by the accessibility relation on a frame. The objective of this modeling is to define conditioning based on a notion of similarity generated by degrees of indistinguishability.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Aumann, R.: Agreeing to Disagree. Ann. Stat. 4, 1236–1239 (1976)
Bell, J.L.: A New Approach to Quantum Logic. Brit. J. Philos. Sci. 37, 83–99 (1986)
Boutilier, C.: Revision Sequences and Nested Conditionals. In: Bajcsy, R. (ed.) IJCAI 1993, pp. 519–525. Morgan Kaufmann, California (1993)
Dalal, M.: Investigations into a Theory of Knowledge Base Bevision: Preliminary Report. In: Rosenbloom, P., Szolovits, P. (eds.) AAAI 1988, vol. 2, pp. 475–479. AAAI Press, Menlo Park (1988)
Fagin, R., Halpern, J.Y., Vardi, M.Y.: A model-theoretic Analysis of Knowledge. J. ACM 38(2), 382–428 (1991)
Gärdenfors, P.: Knowledge in Flux. MIT Press, Cambridge (1985)
Georgatos, K.: On Indistinguishability and Prototypes. Log. J. IGPL 11(5), 531–545 (2003)
Georgatos, K.: Belief Update Using Graphs. In: Wilson, D., Lane, H.C. (eds.) FLAIRS 2008, pp. 649–654. AAAI Press, Menlo Park (2008)
Georgatos, K.: Geodesic Revision. J. Log. Comput. 19, 447–459 (2008)
Giordano, L., Gliozzi, V., Olivetti, N.: Iterated Belief Revision and Conditional Logic. Stud. Log. 70(1), 23–47 (2002)
Giordano, L., Gliozzi, V., Olivetti, N.: Weak AGM Postulates and Strong Ramsey Test: A Logical Formalization. Artif. Intell. 168(1-2), 1–37 (2005)
Goldblatt, R.I.: Semantic Analysis of Orthologic. J. Philos. Log. 3, 19–35 (1974)
Goodman, N.: The Structure of Appearance, 3rd edn. Boston Studies in the Philosphy of Science, vol. 53. Reidel, Dordrecht (1977)
Grahne, G.: Updates and Counterfactuals. In: Allen, J.F., Fikes, R., Sandewall, E. (eds.) KR 1991, pp. 269–276. Morgan Kaufmann, San Francisco (1991)
Halpern, J.Y.: Set-theoretic Completeness for Epistemic and Conditional Logic. Ann. Math. Artif. Intell. 26(1-4), 1–27 (1999)
Herzig, A.: Logics for Belief Base Updating. In: Gabbay, D., Smets, P. (eds.) Handbook of Defeasible Reasoning and Uncertainty Management, vol. 3, pp. 189–231. Kluwer Academic Publishers, Dordrecht (1998)
Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithaca (1962)
Hughes, G.E., Cresswell, M.J.: A Companion to Modal Logic. Methuen, London (1984)
Katsuno, H., Satoh, D.: A Unified View of Consequence Relation, Belief Revision and Conditional Logic. In: Mylopolous, J., Reiter, R. (eds.) IJCAI 1991, pp. 406–412. Morgan Kaufmann, San Francisco (1991)
Lewis, D.: Counterfactuals. Harvard University Press, Cambridge (1973)
Nieminen, J.: Rough tolerance equality. Fund. Inform. 11, 288–294 (1988)
Nute, D.: Conditional Logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. II, pp. 387–439. Reidel, Dordrecht (1984)
Pawlak, Z.: Rough Sets — Theoretical Aspects of Reasoning about Data. Kluwer Academic Publishers, Dordrecht (1991)
Poincaré, H.: La Valeur de la Science. Flammarion, Paris (1905)
Salton, G.: Automatic Text Processing: The Transformation, Analysis, and Retrieval of Information by Computer. Addison-Wesley, Reading (1989)
Schlechta, K., Makinson, D.: Local and Global Metrics for the Semantics of Counterfactual Conditionals. J. Appl. Non-Class. Log. 4(2), 129–140 (1994)
Stalnaker, R.: A Theory of Conditionals. In: Rescher, N. (ed.) Studies in Logical Theory. American Philosophical Quarterly Monograph Series, vol. 52, pp. 98–112. Blackwell, Oxford (1968)
Zadeh, L.A.: Similarity Relations and Fuzzy Orderings. Inform. Sciences 3, 177–200 (1971)
Zeeman, E.C.: The Topology of the Brain and Visual Perception. In: Fort, M.K. (ed.) The Topology of 3-Manifolds, pp. 240–256. Prentice Hall, Englewood Cliffs (1962)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Georgatos, K. (2010). Conditioning by Minimizing Accessibility. In: Bonanno, G., Löwe, B., van der Hoek, W. (eds) Logic and the Foundations of Game and Decision Theory – LOFT 8. LOFT 2008. Lecture Notes in Computer Science(), vol 6006. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15164-4_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-15164-4_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15163-7
Online ISBN: 978-3-642-15164-4
eBook Packages: Computer ScienceComputer Science (R0)