Advertisement

Nonmonotonic belief state frames and reasoning frames

Extended abstract
  • Joeri Engelfriet
  • Heinrich Herre
  • Jan Treur
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 946)

Abstract

In this paper five levels of specification of nonmonotonic reasoning are distinguished. The notions of semantical frame, belief state frame and reasoning frame are introduced and used as a semantical basis for the first three levels. Moreover, the semantical connections between the levels are formalized. It is shown that this general semantical framework is applicable for some well-known approaches such as preferential semantics and default logic.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Et87]
    Etherington, D.W.: A Semantics for Default Logic, Proc. IJCAI-87, pp. 495–498; see also in: D.W. Etherington, Reasoning with Incomplete Information, Morgan Kaufmann, 1988Google Scholar
  2. [ET93]
    Engelfriet, J., Treur, J.: A Temporal Model Theory for Default Logic. In: M. Clarke, R. Kruse, S. Moral (eds.), Proc. 2nd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU '93, Springer Verlag, 1993, pp. 91–96.Google Scholar
  3. [ET94]
    Engelfriet, J., Treur, J.: Temporal Theories of Reasoning. In: C. MacNish, D. Pearce, L.M. Pereira (eds.), Logics in Artifical Intelligence, Proceedings of the 4th European Workshop on Logics in AI, JELIA '94, Lecture Notes in AI, vol. 838, Springer Verlag, pp. 279–299.Google Scholar
  4. [He94]
    Herre, H.: Compactness Properties of nonmonotonic Inference Operations. In: C. MacNish, D. Pearce, L.M. Pereira (eds.), Logics in Artifical Intelligence, Proceedings of the 4th European Workshop on Logics in AI, JELIA '94, Lecture Notes in AI, vol. 838, Springer Verlag, 1994, pp. 19–33.Google Scholar
  5. [KLM90]
    Kraus, S., D. Lehmann, M. Magidor: Nonmonotonic Reasoning, Preferential models and cumulative logics; AI Journal 44 (1990), 167–207Google Scholar
  6. [MT93]
    Marek, V., M. Truszczynski: Nonmonotonic Logic, Springer-Verlag, 1993Google Scholar
  7. [Ta56]
    Tarski, A.: Logic, Semantics, Metamathematics. Papers from 1923–1938. Clarendon Press, Oxford, 1956Google Scholar
  8. [Vo93]
    Voorbraak, F.: Preference-based Semantics for Nonmonotonic Logics, in: Bajcsy, R. (ed.), Proc. 13th International Joint Conference on Artificial Intelligence, IJCAI-93, Morgan Kaufmann, 1983, pp. 584–589Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Joeri Engelfriet
    • 1
  • Heinrich Herre
    • 2
  • Jan Treur
    • 1
  1. 1.Department of Mathematics and Computer ScienceFree University AmsterdamHV AmsterdamThe Netherlands
  2. 2.Department of Computer ScienceUniversity of LeipzigLeipzigGermany

Personalised recommendations