Skip to main content
SpringerLink
Log in

Stable Belief Sets Revisited

  • Conference paper
Logics in Artificial Intelligence (JELIA 2010)

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

Included in the following conference series:

Abstract

Stable belief sets were introduced by R. Stalnaker in the early ‘80s, as a formal representation of the epistemic state for an ideal introspective agent. This notion motivated Moore’s autoepistemic logic and greatly influenced modal nonmonotonic reasoning. Stalnaker stable sets possess an undoubtly simple and intuitive definition and can be elegantly characterized in terms of S5 universal models or KD45 situations. However, they do model an extremely perfect introspective reasoner and suffer from a Knowledge Representation (KR) version of the logical omniscience problem. In this paper, we vary the context rules underlying the positive and/or negative introspection conditions in the original definition of R. Stalnaker, to obtain variant notions of a stable epistemic state, which appear to be more plausible under the epistemic viewpoint. For these alternative notions of stable belief set, we obtain representation theorems using possible world models with non-normal (impossible) worlds and neighborhood modal models.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Amati, G., Carlucci Aiello, L., Pirri, F.: Intuitionistic autoepistemic logic. Studia Logica 59 (1997)

    Google Scholar 

  2. Aucher, G.: An internal version of epistemic logic. Studia Logica 94(1), 1–22 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  3. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol. 53. Cambridge University Press, Cambridge (2001)

    Book  MATH  Google Scholar 

  4. Chellas, B.F.: Modal Logic, an Introduction. Cambridge University Press, Cambridge (1980)

    Book  MATH  Google Scholar 

  5. Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about Knowledge. MIT Press, Cambridge (2003)

    MATH  Google Scholar 

  6. Fitting, M.C.: Basic Modal Logic. In: Gabbay, et al. (eds.) [7], vol. 1, pp. 368–448 (1993)

    Google Scholar 

  7. Gabbay, D.M., Hogger, C.J., Robinson, J.A.: Handbook of Logic in Artificial Intelligence and Logic Programming. Oxford University Press, Oxford (1993)

    MATH  Google Scholar 

  8. Halpern, J.: A critical reexamination of default logic, autoepistemic logic and only-knowing. Computational Intelligence 13(1), 144–163 (1997)

    Article  MathSciNet  Google Scholar 

  9. Halpern, J.Y., Moses, Y.: A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence 54(2), 319–379 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  10. Halpern, J.Y.: A theory of knowledge and ignorance for many agents. Journal of Logic and Computation 7(1), 79–108 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  11. Hansen, H.H., Kupke, C., Pacuit, E.: Neighbourhood Structures: Bisimilarity and Basic Model Theory. Logical Methods in Computer Science 5(2:2), 1–38 (2009)

    MathSciNet  MATH  Google Scholar 

  12. Hintikka, J.: Knowledge and Belief: an Introduction to the Logic of the two notions. Cornell University Press, Ithaca (1962)

    Google Scholar 

  13. Hughes, G.E., Cresswell, M.J.: A New Introduction to Modal Logic. Routledge (1996)

    Google Scholar 

  14. Jaspars, J.: A generalization of stability and its application to circumscription of positive introspective knowledge. In: Schönfeld, W., Börger, E., Kleine Büning, H., Richter, M.M. (eds.) CSL 1990. LNCS, vol. 533, pp. 289–299. Springer, Heidelberg (1991)

    Chapter  Google Scholar 

  15. Koutras, C.D., Zikos, Y.: On a modal epistemic axiom emerging from McDermott-Doyle logics. Fundamenta Informaticae 96(1–2), 111–125 (2009)

    MathSciNet  MATH  Google Scholar 

  16. Koutras, C. D., Zikos, Y.: Stable belief sets revisited, Technical Report, draft version (May 2010), available through the authors’ web pages, in particular, http://users.att.sch.gr/zikos/index/logic/KZ-SBSr-extended.pdf

  17. Lenzen, W.: Recent Work in Epistemic Logic. North-Holland, Amsterdam (1978)

    MATH  Google Scholar 

  18. Lenzen, W.: Epistemologische Betractungen zu [S4,S5]. Erkenntnis 14, 33–56 (1979)

    Article  Google Scholar 

  19. Lakemeyer, G., Levesque, H.J.: A Tractable Knowledge Representation Service with Full Introspection. In: Vardi, M. (ed.) Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, TARK 1988, pp. 145–159. Morgan Kaufmann, San Francisco (1988)

    Google Scholar 

  20. Marek, V.W., Schwarz, G.F., Truszczyński, M.: Modal non-monotonic logics: Ranges, characterization, computation. Journal of the ACM 40, 963–990 (1993)

    Article  MATH  Google Scholar 

  21. Marek, V.W., Truszczyński, M.: Non-Monotonic Logic: Context-dependent Reasoning. Springer, Heidelberg (1993)

    MATH  Google Scholar 

  22. McDermott, D., Doyle, J.: Non-monotonic logic I. Artificial Intelligence 13, 41–72 (1980)

    Article  MathSciNet  MATH  Google Scholar 

  23. Moore, R.C.: Semantical considerations on non-monotonic logics. Artificial Intelligence 25, 75–94 (1985)

    Article  MathSciNet  Google Scholar 

  24. Segerberg, K.: An essay in Clasical Modal Logic. Filosofiska Studies, Uppsala (1971)

    MATH  Google Scholar 

  25. Stalnaker, R.: A note on non-monotonic modal logic. Artificial Intelligence 64, 183–196 (1993), Revised version of the unpublished note originally circulated in 1980

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Technology, University of Peloponnese, end of Karaiskaki Street, 22 100, Tripolis, Greece

    Costas D. Koutras

  2. Graduate Programme in Logic, Algorithms and Computation (MPLA), Department of Mathematics, University of Athens, Panepistimioupolis, 157 84, Ilissia, Greece

    Yorgos Zikos

Authors
  1. Costas D. Koutras
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yorgos Zikos
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Information and Computer Science, Aalto University, 00076, Aalto, Finland

    Tomi Janhunen  & Ilkka Niemelä  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Koutras, C.D., Zikos, Y. (2010). Stable Belief Sets Revisited. In: Janhunen, T., Niemelä, I. (eds) Logics in Artificial Intelligence. JELIA 2010. Lecture Notes in Computer Science(), vol 6341. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15675-5_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-15675-5_20

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-15674-8

  • Online ISBN: 978-3-642-15675-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation