Studying properties of classes of default logics - Preliminary report

Grigoris Antoniou, Tyrone O’Neill, Joe Thurbon

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Citations (Scopus)


The study of different variants of default logic reveales not only differences but also properties they share. For example, there seems to be a close relationship between semi-monotonicity and the guaranteed existence of extensions. Likewise, formula-manipulating default logics tend to violate the property of cumulativity. The problem is that currently such properties must be established separately for each approach. This paper describes some steps towards the study of properties of classes of default logics by giving a rather general definition of what a default logic is. Essentially our approach is operational and restricts attention to purely formula-manipulating logics. We motivate our definition and demonstrate that it includes a variety of well-known default logics. Furthermore, we derive general results regarding the concepts of semimonotonicity and cumulativity. As a benefit of the discussion we uncover that some design decisions of concrete default logics were not accidental as they may seem, but rather they were due to objective necessities.

Original languageEnglish
Title of host publicationPRICAI 1996
Subtitle of host publicationTopics in Artificial Intelligence - 4th Pacific Rim International Conference on Artificial Intelligence, Proceedings
EditorsNorman Foo, Randy Goebel
PublisherSpringer Verlag
Number of pages12
ISBN (Print)3540615326, 9783540615323
Publication statusPublished - 1996
Externally publishedYes
Event4th Pacific Rim International Conference on Artificial Intelligence: Workshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations - Cairns, Australia
Duration: 26 Aug 199630 Aug 1996
Conference number: 4

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference4th Pacific Rim International Conference on Artificial Intelligence
Abbreviated titlePRICAI 1996


Dive into the research topics of 'Studying properties of classes of default logics - Preliminary report'. Together they form a unique fingerprint.

Cite this