Studying properties of classes of default logics

Grigoris Antoniou, Tyrone O'NEILL, Joe Thurbon

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

The study of different variants of default logic reveals 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 semi-monotonicity 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
Pages (from-to)495-505
Number of pages11
JournalJournal of Experimental and Theoretical Artificial Intelligence
Volume10
Issue number4
DOIs
Publication statusPublished - 1 Oct 1998
Externally publishedYes

Fingerprint

Default Logic
Concretes
Monotonicity
Violate
Class
Tend
Logic
Demonstrate

Cite this

@article{1726c96a447d4ab9afa47d1d6aae8d20,
title = "Studying properties of classes of default logics",
abstract = "The study of different variants of default logic reveals 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 semi-monotonicity 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.",
keywords = "Nonmonotonic reasoning default logic",
author = "Grigoris Antoniou and Tyrone O'NEILL and Joe Thurbon",
year = "1998",
month = "10",
day = "1",
doi = "10.1080/095281398146725",
language = "English",
volume = "10",
pages = "495--505",
journal = "Journal of Experimental and Theoretical Artificial Intelligence",
issn = "0952-813X",
publisher = "Taylor and Francis Ltd.",
number = "4",

}

Studying properties of classes of default logics. / Antoniou, Grigoris; O'NEILL, Tyrone; Thurbon, Joe.

In: Journal of Experimental and Theoretical Artificial Intelligence, Vol. 10, No. 4, 01.10.1998, p. 495-505.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Studying properties of classes of default logics

AU - Antoniou, Grigoris

AU - O'NEILL, Tyrone

AU - Thurbon, Joe

PY - 1998/10/1

Y1 - 1998/10/1

N2 - The study of different variants of default logic reveals 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 semi-monotonicity 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.

AB - The study of different variants of default logic reveals 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 semi-monotonicity 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.

KW - Nonmonotonic reasoning default logic

UR - http://www.scopus.com/inward/record.url?scp=0032328070&partnerID=8YFLogxK

U2 - 10.1080/095281398146725

DO - 10.1080/095281398146725

M3 - Article

VL - 10

SP - 495

EP - 505

JO - Journal of Experimental and Theoretical Artificial Intelligence

JF - Journal of Experimental and Theoretical Artificial Intelligence

SN - 0952-813X

IS - 4

ER -