Representation results for default logics

  • Grigoris Antoniou
Knowledge Representation and Reasoning
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1342)


Normal forms play an important role in computer science, for example in the areas of logic and databases. This paper provides a study of normal forms for some prominent logics for default reasoning. In particular we show that in Constrained and in Justified Default Logic, semi-normal default theories can represent arbitrary default theories. The main result for Justified Default Logic requires the signature (logical language to be enhanced in order to obtain the desired outcome.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    G. Antoniou. Nonmonotonic Reasoning. MIT Press 1997 (in press)Google Scholar
  2. [2]
    E.F. Codd. Further Normalization of the Data Base Relational Model. In Data Base Systems, Courant Computer Science Symposia Series 6, Prentice Hall 1972Google Scholar
  3. [3]
    J.P. Delgrande, T. Schaub and W.K. Jackson. Alternative Approaches to default logic. Artificial Intelligence 70 (1994): 167–237CrossRefGoogle Scholar
  4. [4]
    W. Lukaszewicz. Considerations of default logic: an alternative approach. Computational Intelligence 4,1 (1988): 1–16Google Scholar
  5. [5]
    V. Marek and M. Truszczynski. Nonmonotonic Logic. Springer 1993Google Scholar
  6. [6]
    A. Mikitiuk. Semi-representability of default theories in rational default logic. In the Proceedings of the 5th European Workshop on Logics in AI (JELIA'96) (in press)Google Scholar
  7. [7]
    R. Reiter. A logic for default reasoning. Artificial Intelligence 13 (1980): 81–132Google Scholar
  8. [8]
    T. Schaub. On Constrained Default Theories. In the Proceedings of the 10th European Conference on Artificial Intelligence, Wiley 1992, 304–308Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Grigoris Antoniou
    • 1
  1. 1.Griffith UniversityCITAustralia

Personalised recommendations