Studying properties of classes of default logics - Preliminary report

Grigoris Antoniou; Tyrone O’Neill; Joe Thurbon

doi:10.1007/3-540-61532-6_47

Studying properties of classes of default logics - Preliminary report

Grigoris Antoniou, Tyrone O’Neill, Joe Thurbon

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Citations (Scopus)

Abstract

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 language	English
Title of host publication	PRICAI 1996
Subtitle of host publication	Topics in Artificial Intelligence - 4th Pacific Rim International Conference on Artificial Intelligence, Proceedings
Editors	Norman Foo, Randy Goebel
Publisher	Springer Verlag
Pages	558-569
Number of pages	12
ISBN (Print)	3540615326, 9783540615323
DOIs	https://doi.org/10.1007/3-540-61532-6_47
Publication status	Published - 1996
Externally published	Yes
Event	4th 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 1996 → 30 Aug 1996 Conference number: 4

Publication series

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

Conference

Conference	4th Pacific Rim International Conference on Artificial Intelligence
Abbreviated title	PRICAI 1996
Country/Territory	Australia
City	Cairns
Period	26/08/96 → 30/08/96

Access to Document

10.1007/3-540-61532-6_47Licence: Unspecified

Cite this

Antoniou, G., O’Neill, T., & Thurbon, J. (1996). Studying properties of classes of default logics - Preliminary report. In N. Foo, & R. Goebel (Eds.), PRICAI 1996: Topics in Artificial Intelligence - 4th Pacific Rim International Conference on Artificial Intelligence, Proceedings (pp. 558-569). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1114). Springer Verlag. https://doi.org/10.1007/3-540-61532-6_47

Antoniou, Grigoris ; O’Neill, Tyrone ; Thurbon, Joe. / Studying properties of classes of default logics - Preliminary report. PRICAI 1996: Topics in Artificial Intelligence - 4th Pacific Rim International Conference on Artificial Intelligence, Proceedings. editor / Norman Foo ; Randy Goebel. Springer Verlag, 1996. pp. 558-569 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{a0b8bd57d6a44349831e6a57bb9acd7f,

title = "Studying properties of classes of default logics - Preliminary report",

abstract = "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.",

author = "Grigoris Antoniou and Tyrone O{\textquoteright}Neill and Joe Thurbon",

year = "1996",

doi = "10.1007/3-540-61532-6_47",

language = "English",

isbn = "3540615326",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "558--569",

editor = "Norman Foo and Randy Goebel",

booktitle = "PRICAI 1996",

address = "Germany",

note = "4th Pacific Rim International Conference on Artificial Intelligence : Workshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations, PRICAI 1996 ; Conference date: 26-08-1996 Through 30-08-1996",

}

Antoniou, G, O’Neill, T & Thurbon, J 1996, Studying properties of classes of default logics - Preliminary report. in N Foo & R Goebel (eds), PRICAI 1996: Topics in Artificial Intelligence - 4th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1114, Springer Verlag, pp. 558-569, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Queensland, Australia, 26/08/96. https://doi.org/10.1007/3-540-61532-6_47

Studying properties of classes of default logics - Preliminary report. / Antoniou, Grigoris; O’Neill, Tyrone; Thurbon, Joe.

PRICAI 1996: Topics in Artificial Intelligence - 4th Pacific Rim International Conference on Artificial Intelligence, Proceedings. ed. / Norman Foo; Randy Goebel. Springer Verlag, 1996. p. 558-569 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1114).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Studying properties of classes of default logics - Preliminary report

AU - Antoniou, Grigoris

AU - O’Neill, Tyrone

AU - Thurbon, Joe

N1 - Conference code: 4

PY - 1996

Y1 - 1996

N2 - 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.

AB - 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.

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

U2 - 10.1007/3-540-61532-6_47

DO - 10.1007/3-540-61532-6_47

M3 - Conference contribution

AN - SCOPUS:84957889529

SN - 3540615326

SN - 9783540615323

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 558

EP - 569

BT - PRICAI 1996

A2 - Foo, Norman

A2 - Goebel, Randy

PB - Springer Verlag

T2 - 4th Pacific Rim International Conference on Artificial Intelligence

Y2 - 26 August 1996 through 30 August 1996

ER -

Antoniou G, O’Neill T, Thurbon J. Studying properties of classes of default logics - Preliminary report. In Foo N, Goebel R, editors, PRICAI 1996: Topics in Artificial Intelligence - 4th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Springer Verlag. 1996. p. 558-569. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-61532-6_47

Studying properties of classes of default logics - Preliminary report

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this