Skip to main content

Conditioning by Minimizing Accessibility

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6006))

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aumann, R.: Agreeing to Disagree. Ann. Stat. 4, 1236–1239 (1976)

    Article  MATH  MathSciNet  Google Scholar 

  2. Bell, J.L.: A New Approach to Quantum Logic. Brit. J. Philos. Sci. 37, 83–99 (1986)

    MATH  Google Scholar 

  3. Boutilier, C.: Revision Sequences and Nested Conditionals. In: Bajcsy, R. (ed.) IJCAI 1993, pp. 519–525. Morgan Kaufmann, California (1993)

    Google Scholar 

  4. 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)

    Google Scholar 

  5. Fagin, R., Halpern, J.Y., Vardi, M.Y.: A model-theoretic Analysis of Knowledge. J. ACM 38(2), 382–428 (1991)

    MATH  MathSciNet  Google Scholar 

  6. Gärdenfors, P.: Knowledge in Flux. MIT Press, Cambridge (1985)

    Google Scholar 

  7. Georgatos, K.: On Indistinguishability and Prototypes. Log. J. IGPL 11(5), 531–545 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  8. Georgatos, K.: Belief Update Using Graphs. In: Wilson, D., Lane, H.C. (eds.) FLAIRS 2008, pp. 649–654. AAAI Press, Menlo Park (2008)

    Google Scholar 

  9. Georgatos, K.: Geodesic Revision. J. Log. Comput. 19, 447–459 (2008)

    Article  MathSciNet  Google Scholar 

  10. Giordano, L., Gliozzi, V., Olivetti, N.: Iterated Belief Revision and Conditional Logic. Stud. Log. 70(1), 23–47 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  11. Giordano, L., Gliozzi, V., Olivetti, N.: Weak AGM Postulates and Strong Ramsey Test: A Logical Formalization. Artif. Intell. 168(1-2), 1–37 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  12. Goldblatt, R.I.: Semantic Analysis of Orthologic. J. Philos. Log. 3, 19–35 (1974)

    MathSciNet  Google Scholar 

  13. Goodman, N.: The Structure of Appearance, 3rd edn. Boston Studies in the Philosphy of Science, vol. 53. Reidel, Dordrecht (1977)

    Google Scholar 

  14. Grahne, G.: Updates and Counterfactuals. In: Allen, J.F., Fikes, R., Sandewall, E. (eds.) KR 1991, pp. 269–276. Morgan Kaufmann, San Francisco (1991)

    Google Scholar 

  15. Halpern, J.Y.: Set-theoretic Completeness for Epistemic and Conditional Logic. Ann. Math. Artif. Intell. 26(1-4), 1–27 (1999)

    Article  MATH  Google Scholar 

  16. 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)

    Google Scholar 

  17. Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithaca (1962)

    Google Scholar 

  18. Hughes, G.E., Cresswell, M.J.: A Companion to Modal Logic. Methuen, London (1984)

    Google Scholar 

  19. 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)

    Google Scholar 

  20. Lewis, D.: Counterfactuals. Harvard University Press, Cambridge (1973)

    Google Scholar 

  21. Nieminen, J.: Rough tolerance equality. Fund. Inform. 11, 288–294 (1988)

    MathSciNet  Google Scholar 

  22. Nute, D.: Conditional Logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. II, pp. 387–439. Reidel, Dordrecht (1984)

    Google Scholar 

  23. Pawlak, Z.: Rough Sets — Theoretical Aspects of Reasoning about Data. Kluwer Academic Publishers, Dordrecht (1991)

    MATH  Google Scholar 

  24. Poincaré, H.: La Valeur de la Science. Flammarion, Paris (1905)

    Google Scholar 

  25. Salton, G.: Automatic Text Processing: The Transformation, Analysis, and Retrieval of Information by Computer. Addison-Wesley, Reading (1989)

    Google Scholar 

  26. Schlechta, K., Makinson, D.: Local and Global Metrics for the Semantics of Counterfactual Conditionals. J. Appl. Non-Class. Log. 4(2), 129–140 (1994)

    MATH  MathSciNet  Google Scholar 

  27. 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)

    Google Scholar 

  28. Zadeh, L.A.: Similarity Relations and Fuzzy Orderings. Inform. Sciences 3, 177–200 (1971)

    Article  MATH  MathSciNet  Google Scholar 

  29. 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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics