A default logic based on epistemic states

Extended abstract
  • J. -J. Ch. Meyer
  • W. van der Hoek
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 747)


We indicate how default logic can be based on epistemic logic, and particularly how we may employ Halpern & Moses' minimal epistemic states for this purpose. In the context of default reasoning Halpern & Moses' entailment based on honest formulas is used to infer what is considered epistemically possible. These epistemic possibilities can be used in defaults in a way that is similar to the representation in AEL, but in which the nonmonotonicity appears at a different place: at the inference of ignorance rather than at the jumping to conclusions. In this way we obtain a simple and natural non-monotonic logic for default reasoning that is cumulative, almost by design. We give a model-theoretical characterization of the non-monotonic entailment associated with this logic in terms of S5-like models.


Epistemic State Epistemic Logic Default Theory Epistemic Possibility Default Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Br]
    G. Brewka, Nonmonotonic Reasoning: Logical Foundations of Commonsense, Cambridge University Press, Cambridge, 1991.Google Scholar
  2. [Do]
    P. Doherty, NM3 — A Three-Valued Cumulative Non-Monotonic Formalism, in: Logics in AI, (J. van Eijck, ed.), LNCS 478, Springer, Berlin, 1991, pp. 196–211.Google Scholar
  3. [Ga]
    D.M. Gabbay, Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems, in: K.R. Apt (ed.), Proc. NATO Advanced Study Institute on Logics and Models of Concurrent Systems, Springer, Berlin, 1985, pp. 439–457.Google Scholar
  4. [Hi]
    J. Hintikka, Knowledge and Belief, Cornell University Press, Ithaca (N.Y.), 1962.Google Scholar
  5. [HM]
    J.Y. Halpern & Y.O. Moses, Towards a Theory of Knowledge and Ignorance, Proc. Workshop on Non-Monotonic Reasoning, AAAI, 1984.Google Scholar
  6. [Kr]
    S. Kripke, Semantic Analysis of Modal Logic, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 9, 1963, pp. 67–96.Google Scholar
  7. [KLM]
    S. Kraus, D. Lehmann & M. Magidor, Nonmonotonic Reasoning, Preferential Models and Cumulative Logics, Artificial Intelligence 44, 1990, pp. 167–207.Google Scholar
  8. [Lu]
    W. Lukaszewicz, Non-Monotonic Reasoning (Formalisation of Commonsense Reasoning), Ellis Horwood, New York, 1990.Google Scholar
  9. [Ma]
    D. Makinson, General Theory of Cumulative Inference, in: M. Reinfrank, J. de Kleer, M. Ginsberg & E. Sandewall (eds.), Proceedings Non-Monotonic Reasoning, 2nd Int. Workshop, LNCS 346, Springer, Berlin, 1989, pp. 1–18.Google Scholar
  10. [MH1]
    J.-J.Ch. Meyer & W. van der Hoek, Non-Monotonic Reasoning by Monotonic Means, in J. van Eijck (ed.), Logics in AI (Proc. JELIA '90), LNCS 478, Springer, 1991, pp. 399–411.Google Scholar
  11. [MH2]
    J.-J.Ch. Meyer & W. van der Hoek, A Modal Logic for Nonmonotonic Reasoning, in: W. van der Hoek, J.-J. Ch. Meyer, Y.H. Tan & C. Witteveen (eds.), Non-Monotonic Reasoning and Partial Semantics, Ellis Horwood, Chichester, 1992, pp. 37–77.Google Scholar
  12. [MH3]
    J.-J.Ch. Meyer & W. van der Hoek, A Cumulative Default Logic Based on Epistemic States, Techn. Report Free University IR-288, Amsterdam (1992).Google Scholar
  13. [Mo]
    R.C. Moore, Semantical Considerations on Nonmonotonic Logic, Artificial Intelligence 25, 1985, pp. 75–94.Google Scholar
  14. [Rei]
    R. Reiter, A Logic for Default Reasoning, Artificial Intelligence 13, 1980, pp. 81–132.Google Scholar
  15. [Sh1]
    Y. Shoham, A Semantical Approach to Nonmonotonic Logics, in: Readings in Nonmonotonic Reasoning (M.L. Ginsberg, ed.), Morgan Kaufmann, Los Altos, 1987, pp. 227–250.Google Scholar
  16. [Sh2]
    Y. Shoham, Reasoning about Change, MIT Press, Cambridge, Massachusetts, 1988.Google Scholar
  17. [TT]
    Y.-H. Tan & J. Treur, A Bi-Modular Approach to Non-Monotonic Reasoning, in: Proc. WOCFAI'91 (M. DeGlas & D. Gabbay, eds.), Paris, 1991, pp. 461–475.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • J. -J. Ch. Meyer
    • 1
  • W. van der Hoek
    • 1
  1. 1.Department of Computer ScienceUtrecht UniversityTB UtrechtThe Netherlands

Personalised recommendations