Compactness properties of nonmonotonic inference operations

  • Heinrich Herre
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 838)


The aim of the present paper is to analyse compactness properties of non-monotonic inference operations within the framework of model theory. For this purpose the concepts of a deductive frame and its semantical counterpart, a semantical frame are introduced. Compactness properties play a fundamental in the study of non-monotonic inference, and in the paper several new versions of compactness are studied. It is proved that minimal reasoning in propositional logic is weakly supracompact and that the associated inference operator is uniquely determined by its finitary restriction via an extension operator Δ4. Furthermore, some generalizations of these results to predicate logic are shown.


nonmonotonic inference compactness model theory 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Ba85]
    Barwise, J., S. Feferman: Model-Theoretic Logics, Springer-Verlag, 1985Google Scholar
  2. [B191]
    Bell, J.: Pragmatic Logics, in: Proc. of 2nd. Int. Conference of Knowledge Representation and Reasoning, Cambridge MA, 1991Google Scholar
  3. [Di94]
    Dietrich, J.: Deductive Bases of Nonmonotonic Inference Operations; NTZ Report, Universit”a Leipzig, 1994Google Scholar
  4. [DH94]
    Dietrich, J., Herre, H.: Outline of Nonmonotonic Model Theory; NTZ Report, Universit” at Leipzig, 1994Google Scholar
  5. [FL90]
    Freund, M., Lehmann, D., Makinson, D.: Canonical Extensions to the Infinite Case of Finitary Nonmonotonic Inference Operations; Arbeitspapiere der GMD 443, 1990Google Scholar
  6. [Dx91]
    Dix, J.: Nichtmonotones Schliessen und dessen Anwendung auf Semantiken logischer Programme, Doctoral Dissertation, Karlsruhe, 1992Google Scholar
  7. [Fr91]
    Freund, M.: Supracompact inference operations, LNCS vol. 543, 59–73 (1991)Google Scholar
  8. [FL93]
    Freund, M. D. Lehmann: Nonmontonic inference operations; Preprint, Hebrew University of Jerusalem, 1993Google Scholar
  9. [He91]
    Herre, H.: Nonmonotonic Reasoning and Logic Programs NIL'91, LNCS vol. 543, p. 38–58Google Scholar
  10. [He93]
    Herre, H.:Contributions to nonmonotonic model theory, Workshop on Nonclassical Logics in Computer Science, Dagstuhl-Berichte (ed. Marek, V., A. Nerode, P.H. Schmitt), 1993Google Scholar
  11. [KL90]
    Kraus, S., D. Lehmann, M. Magidor: Nonmonotonic Reasoning, Preferential models and cumulative logics; A.I. 44 (1990), 167–207Google Scholar
  12. [KV93]
    Kolaitis, P.G., J.A.Väänänen: Generalized Quantifiers and Pebble Games on Finite Structures, Preprint, University of Helsinki, 1993Google Scholar
  13. [Ld69]
    Lindström, P.: On extensions of elementary logic, Theoria, 35, 1–11 (1969)Google Scholar
  14. [Li91]
    Lindström, S.:A semantic approach to nonmonotonic reasoning: inference operations and choice; Dept. of Philosophy, Uppsala University, Preprint, 1991Google Scholar
  15. [Ma89]
    Makinson, D.: General Theory of Cumulative Inference, in: Reinfrank, M.(Ed.) Non-monotonic Reasoning, LNAI vol. 346 Berlin Springer-Verlag, 1989, 1–18Google Scholar
  16. [Ma93]
    Makinson, D.: General Patterns in Nonmonotonic Reasoning; in: D. Gabbay (ed.) Handbook of Logic in Artificial Intelligence and Logic Programming, Oxford University Press, 1993Google Scholar
  17. [Pe93]
    Pearce, D.: Remarks on Monmonotonicity and Supraclassicality, Preprint, Berlin, 1993Google Scholar
  18. [Ra79]
    Rautenberg, W.: Klassische und nichtklassische Aussagenlogik, Vieweg, 1979Google Scholar
  19. [Ta56]
    Tarski, A.: Logic, Semantics, Metamathematics. Papers from 1923–1938. Clarendon Press, Oxford, 1956Google Scholar
  20. [Th89]
    Thiele, H.: Monotones und nichtmonotones Schliessen; in: Grabowski, J., Jantke, H.-J., H. Thiele: Grundlagen der Kuenstlichen Intelligenz, 80–160, Akademie-Verlag, Berlin 1989Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Heinrich Herre
    • 1
  1. 1.Institute of Computer ScienceUniversity of LeipzigLeipzig

Personalised recommendations