Belief revision in a framework for default reasoning

  • Gerhard Brewka
Theory Change And Nonmonotonic Reasoning
Part of the Lecture Notes in Computer Science book series (LNCS, volume 465)


We present an approach which provides a common solution to problems recently addressed in two different research areas: nonmonotonic reasoning and theory revision. We define a framework for default reasoning based on the notion of preferred maximal consistent subsets of the premises. Contrary to other formalizations of default reasoning, this framework is able to handle also unanticipated inconsistencies. This makes it possible to handle revisions of default theories by simply adding the new information. Contractions require the introduction of constraints, i.e. formulas used to determine preferred maximal consistent subsets but not used to determine the derivable formulas. Both, revisions and contractions, are totally incremental, i.e. old information is never forgotten and may be recovered after additional changes. Moreover, the order of changes is — in a certain sense — unimportant.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. (Brewka 89).
    Brewka, Gerhard: Preferred Subtheories — An Extended Logical Framework for Default Reasoning, Proc. IJCAI-89, 1989Google Scholar
  2. (Brewka 90).
    Brewka, Gerhard: Nonmonotonic Reasoning — Logical Foundations of Commonsense, Cambridge University Press, to appearGoogle Scholar
  3. (Gärdenfors 88).
    Gärdenfors, Peter: Knowledge in Flux, MIT Press, Cambridge, MA, 1988Google Scholar
  4. (Gärdenfors, Makinson 88).
    Gärdenfors, Peter, Makinson, David: Revisions of Knowledge Systems Using Epistemic Entrenchment. In: Vardi, M. (ed): Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufmann, Los Altos, 1988Google Scholar
  5. (McCarthy 80).
    McCarthy, John: Circumscription — A Form of Nonmonotonic Reasoning, Artificial Intelligence 13, 1980Google Scholar
  6. (McCarthy 84).
    McCarthy, John: Applications of Circumscription to Formalizing Common Sense Knowledge, Proc. AAAI-Workshop Non-Monotonic Reasoning, 1984 (also in Artificial Intelligence 28, 1986)Google Scholar
  7. (Moore 85).
    Moore, Robert C.: Semantical Considerations on Nonmonotonic Logic, Artificial Intelligence 25, 1985Google Scholar
  8. (Poole 88).
    Poole, D.: A Logical Framework for Default Reasoning, Artificial Intelligence 36, 1988Google Scholar
  9. (Reiter 80).
    Reiter, Raymond: A Logic for Default Reasoning, Artificial Intelligence 13, 1980Google Scholar
  10. (Rescher 64).
    Rescher, Nicholas: Hypothetical Reasoning, North-Holland Publ., Amsterdam. 1964Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Gerhard Brewka
    • 1
  1. 1.Gesellschaft für Mathematik und DatenverarbeitungSankt AugustinFed. Rep. of Germany

Personalised recommendations