Defeasible Logic is a rule-based non-monotonic logic with tractable reasoning services. In this paper we extend Defeasible Logic with nested rules. We consider a new Defeasible Logic, called DL ns , where we allow one level of nested rules. A nested rule is a rule where the antecedent or the consequent of the rule are rules themselves. The inference conditions for DL ns are based on reflection on the inference structures (rules) of the particular theory at hand. Accordingly DL ns can be considered an amalgamated reflective system with implicit reflection mechanism. Finally we outline some possible applications of the logic.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Gelati, J., Governatori, G., Rotolo, A., Sartor, G.: Normative autonomy and normative coordination: Declarative power, representation, and mandate. Artificial Intelligence and Law 12(1-2), 53–81 (2004)CrossRefGoogle Scholar
  2. 2.
    Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: A flexible framework for defeasible logics. In: Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence, pp. 405–410. AAAI Press, Menlo Park (2000)Google Scholar
  3. 3.
    Anderson, A.E., Belnap, N.D.: Entailment: the Logic of Relevance and Necessity, vol. 1. Princeton University Press, Princeton (1975)zbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Insu Song
    • 1
  • Guido Governatori
    • 1
  1. 1.School of Information Technology & Electrical EngineeringThe University of QueenslandBrisbaneAustralia

Personalised recommendations