A conceptualization of preferences in non-monotonic proof theory

  • Anthony Hunter
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 633)


Formalizing non-monotonic reasoning is a significant problem within artificial intelligence. A number of approaches have been proposed, but a clear understanding of the problem remains elusive. Given the diversity of proof theoretic approaches, we argue the need for frameworks for elucidating key concepts within non-monotonic reasoning. In this paper we consider the preferences, implicit and explicit, that can be seen in a disparate range of non-monotonic logics. In particular, we argue the case for an analysis based on Labelled Deductive Systems for viewing existing approaches to formalizing non-monotonic reasoning, and for identifying new approaches. For this we introduce the family of prioritized logics — each member being a defeasible logic defined in terms of labelled deduction -that forms the basis of a framework for viewing the nature and mechanization of non-monotonic reasoning.


Non-monotonic logics Labelled Deductive Systems 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Brewka G (1989) Preferred subtheories: An extended logical framework for default reasoning, IJCAI'89, Morgan KaufmannGoogle Scholar
  2. Cussens J & Hunter A (1991) Using defeasible logic for a window on a probabilistic database: Some preliminary notes, Proceedings of European Conference on Symbolic and Quantitaive Approaches to Uncertainty, LNCS 548, SpringerGoogle Scholar
  3. Froidevaux C & Grossetete C (1990) Graded default theories for uncertainty, Proceedings ECAI'90, PitmanGoogle Scholar
  4. Gabbay D (1985) Theoretical foundations for non-monotonic reasoning in expert systems, in Apt K, Logics and Models of Concurrent Systems, LNCS, SpringerGoogle Scholar
  5. Gabbay D (1991a) Labelled Deductive Systems: A position paper, in proceedings of Logic Colloquium 90, Lecture Notes in Logic 1, SpringerGoogle Scholar
  6. Gabbay D (1991b) Labelled deductive systems, Technical report, Centrum fur Informations und Sprachverarbeitung, Universitat MunchenGoogle Scholar
  7. Hunter A (1991) Use of priorities in non-monotonic proof theory, Technical report, Department of Computing, Imperial College, LondonGoogle Scholar
  8. Hunter A (1992) Labels theory for prioritized logics, Technical report, Department of Computing, Imperial College, LondonGoogle Scholar
  9. Kraus S, Lehmann D & Magidor M (1990) Non-monotonic reasoning, preferential models, and cumulative logics, Artificial Intelligence, 44, 167–207CrossRefGoogle Scholar
  10. Laenens E & Vermier D (1990) A fixpoint semantics for ordered logic, J Logic & Computation, 1, 159–185Google Scholar
  11. Loui R (1986) Defeat amongst arguments: a system of defeasible inference, Technical report No 130, Department of Computer Science, University of Rochester, New YorkGoogle Scholar
  12. Makinson D (1989) A general theory of cumulative inference, in Reinfrank M, Proceedings of Second International Workshop on Non-monotonic Logic, LNCS 346, SpringerGoogle Scholar
  13. Nute D (1988) Defeasible reasoning and decision support systems, Decision Support Systems, 4, 97–110CrossRefGoogle Scholar
  14. Poole D (1988) Logical framework for default reasoning, Artificial Intelligence, 36, 27–48CrossRefMathSciNetGoogle Scholar
  15. Reiter R (1978) On the closed-world databases, in Gallaire H & Minker J, Logic and Databases, Plenum PressGoogle Scholar
  16. Reiter R (1980) A logic for default reasoning, Artificial Intelligence, 13, 81–13CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Anthony Hunter
    • 1
  1. 1.Department of ComputingImperial CollegeLondonUK

Personalised recommendations