Advertisement

A generalization of stability and its application to circumscription of positive introspective knowledge

  • Jan Jaspars
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 533)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Gri]
    H.P. Grice, “Logic and conversation," in Speech Acts, Syntax and Semantics, P. Cole & J. Morgan, eds. #III: Speech Acts, Academic Press, New York, 1975.Google Scholar
  2. [HaM]
    J.Y. Halpern & Y.O. Moses, “Towards a theory of knowledge and ignorance: a preliminary report," in Proceedings of the AAAI Workshop on Non-Monotonic Reasoning, New Paltz, NY, 1984, 125–143.Google Scholar
  3. [Hin]
    J. Hintikka, Knowledge and Belief: An Introduction to the Logic of the Two Notions, Cornell University Press, Ithaca N.Y., 1962.Google Scholar
  4. [HuC]
    G.E. Hughes & M.J. Cresswell, A Companion to Modal Logic, Methuen, New York, 1984.Google Scholar
  5. [Jasa]
    J.O.M. Jaspars, “Kennis en Eerlijk in S4 Kripke Modellen (Knowledge and Honesty in S4 Kripke Models)," University of Amsterdam, M.-thesis, supervised by J.F.A.K. van Benthem, Amsterdam, 1988.Google Scholar
  6. [Jasb]
    J.O.M. Jaspars, “Theoretical Circumscription in Partial Modal Logic," in Logics in AI/JELIA'90, J. van Eijck, ed., Lecture Notes in Artificial Intelligence #478, Springer Verlag, Heidelberg, 1991, 303–318.Google Scholar
  7. [Kon]
    K. Konolige, “On the relation between default and autoepistemic logic," Artificial Intelligence 35 (1988), 343–382.CrossRefGoogle Scholar
  8. [LeS]
    E.J. Lemmon & D.S. Scott, The ‘Lemmon Notes': An Introduction to Modal Logic, Blackwell, Oxford, 1977.Google Scholar
  9. [Len]
    W. Lenzen, “Recent work in epistemic logic," Acta Philosophica Fennica 30 (1978), 1–219.Google Scholar
  10. [McC]
    J. McCarthy, “Circumscription — A form of non-monotonic reasoning," Artificial Intelligence Journal 13(1980), 27–39.CrossRefGoogle Scholar
  11. [Mooa]
    R.C. Moore, “Semantical considerations on non-monotonic reasoning," in Proceedings of the Eighth International Joint Conference on Artificial Intelligence, Morgan Kaufmann, Los Altos, 1983, 272–279.Google Scholar
  12. [Moob]
    R.C. Moore, “Possible world semantics for autoepistemic logic," in Proceedings of the AAAI Workshop on Non-Monotonic Reasoning, New Paltz, NY, 1984, 344–354.Google Scholar
  13. [Var]
    M.Y. Vardi, “Model-theoretic analysis of monotone knowledge," in Proceedings of the Ninth International Joint Conference on Artificial Intelligence, Morgan Kaufmann, Los Altos, 1985, 509–512.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Jan Jaspars
    • 1
  1. 1.Institute for Language Technology & AITilburg UniversityTilburgThe Netherlands

Personalised recommendations