Priorities in default logic revisited

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Abstract

One of the drawbacks of Reiter's original presentation of Default Logic is the difficulty of expressing priorities among defaults. Recently, Brewka proposed an expansion of Default Logic which allows for explicit reasoning about priorities in Default Logic. In this paper we give an alternative, operational characterization of extensions; it is also technically simpler and therefore more easily applicable. Further we investigate some properties of the logic paying special attention to the existence of extensions. We present some sufficient conditions for a default theory with priorities to have at least one extension.

LanguageEnglish
Title of host publicationTopics in Artificial Intelligence - 4th Congress of the Italian Association for Artificial Intelligence AI*IA 1995, Proceedings
EditorsMarco Gori, Giovanni Soda
PublisherSpringer Verlag
Pages152-162
Number of pages11
ISBN (Print)3540604375, 9783540604372
DOIs
Publication statusPublished - 1995
Externally publishedYes
Event4th Congress of the Italian Association for Artificial Intelligence, AI*IA 1995 - Florence, Italy
Duration: 11 Oct 199513 Oct 1995

Publication series

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

Conference

Conference4th Congress of the Italian Association for Artificial Intelligence, AI*IA 1995
CountryItaly
CityFlorence
Period11/10/9513/10/95

Fingerprint

Default Logic
Reasoning
Logic
Sufficient Conditions
Alternatives

Cite this

Antoniou, G. (1995). Priorities in default logic revisited. In M. Gori, & G. Soda (Eds.), Topics in Artificial Intelligence - 4th Congress of the Italian Association for Artificial Intelligence AI*IA 1995, Proceedings (pp. 152-162). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 992). Springer Verlag. https://doi.org/10.1007/3-540-60437-5_15
Antoniou, Grigoris. / Priorities in default logic revisited. Topics in Artificial Intelligence - 4th Congress of the Italian Association for Artificial Intelligence AI*IA 1995, Proceedings. editor / Marco Gori ; Giovanni Soda. Springer Verlag, 1995. pp. 152-162 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{cad22dbede57462b9cc734d18c9705e1,
title = "Priorities in default logic revisited",
abstract = "One of the drawbacks of Reiter's original presentation of Default Logic is the difficulty of expressing priorities among defaults. Recently, Brewka proposed an expansion of Default Logic which allows for explicit reasoning about priorities in Default Logic. In this paper we give an alternative, operational characterization of extensions; it is also technically simpler and therefore more easily applicable. Further we investigate some properties of the logic paying special attention to the existence of extensions. We present some sufficient conditions for a default theory with priorities to have at least one extension.",
author = "Grigoris Antoniou",
year = "1995",
doi = "10.1007/3-540-60437-5_15",
language = "English",
isbn = "3540604375",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "152--162",
editor = "Marco Gori and Giovanni Soda",
booktitle = "Topics in Artificial Intelligence - 4th Congress of the Italian Association for Artificial Intelligence AI*IA 1995, Proceedings",

}

Antoniou, G 1995, Priorities in default logic revisited. in M Gori & G Soda (eds), Topics in Artificial Intelligence - 4th Congress of the Italian Association for Artificial Intelligence AI*IA 1995, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 992, Springer Verlag, pp. 152-162, 4th Congress of the Italian Association for Artificial Intelligence, AI*IA 1995, Florence, Italy, 11/10/95. https://doi.org/10.1007/3-540-60437-5_15

Priorities in default logic revisited. / Antoniou, Grigoris.

Topics in Artificial Intelligence - 4th Congress of the Italian Association for Artificial Intelligence AI*IA 1995, Proceedings. ed. / Marco Gori; Giovanni Soda. Springer Verlag, 1995. p. 152-162 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 992).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Priorities in default logic revisited

AU - Antoniou, Grigoris

PY - 1995

Y1 - 1995

N2 - One of the drawbacks of Reiter's original presentation of Default Logic is the difficulty of expressing priorities among defaults. Recently, Brewka proposed an expansion of Default Logic which allows for explicit reasoning about priorities in Default Logic. In this paper we give an alternative, operational characterization of extensions; it is also technically simpler and therefore more easily applicable. Further we investigate some properties of the logic paying special attention to the existence of extensions. We present some sufficient conditions for a default theory with priorities to have at least one extension.

AB - One of the drawbacks of Reiter's original presentation of Default Logic is the difficulty of expressing priorities among defaults. Recently, Brewka proposed an expansion of Default Logic which allows for explicit reasoning about priorities in Default Logic. In this paper we give an alternative, operational characterization of extensions; it is also technically simpler and therefore more easily applicable. Further we investigate some properties of the logic paying special attention to the existence of extensions. We present some sufficient conditions for a default theory with priorities to have at least one extension.

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

U2 - 10.1007/3-540-60437-5_15

DO - 10.1007/3-540-60437-5_15

M3 - Conference contribution

SN - 3540604375

SN - 9783540604372

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

SP - 152

EP - 162

BT - Topics in Artificial Intelligence - 4th Congress of the Italian Association for Artificial Intelligence AI*IA 1995, Proceedings

A2 - Gori, Marco

A2 - Soda, Giovanni

PB - Springer Verlag

ER -

Antoniou G. Priorities in default logic revisited. In Gori M, Soda G, editors, Topics in Artificial Intelligence - 4th Congress of the Italian Association for Artificial Intelligence AI*IA 1995, Proceedings. Springer Verlag. 1995. p. 152-162. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-60437-5_15