Priorities in default logic revisited

Grigoris Antoniou

doi:10.1007/3-540-60437-5_15

Priorities in default logic revisited

Grigoris Antoniou

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

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.

Original language	English
Title of host publication	Topics in Artificial Intelligence - 4th Congress of the Italian Association for Artificial Intelligence AI*IA 1995, Proceedings
Editors	Marco Gori, Giovanni Soda
Publisher	Springer Verlag
Pages	152-162
Number of pages	11
ISBN (Print)	3540604375, 9783540604372
DOIs	https://doi.org/10.1007/3-540-60437-5_15
Publication status	Published - 1995
Externally published	Yes
Event	4th Congress of the Italian Association for Artificial Intelligence - Florence, Italy Duration: 11 Oct 1995 → 13 Oct 1995 Conference number: 4 https://dl.acm.org/doi/proceedings/10.5555/648149

Publication series

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

Conference

Conference	4th Congress of the Italian Association for Artificial Intelligence
Abbreviated title	AI*IA 1995
Country/Territory	Italy
City	Florence
Period	11/10/95 → 13/10/95
Internet address	https://dl.acm.org/doi/proceedings/10.5555/648149

Access to Document

10.1007/3-540-60437-5_15Licence: Unspecified

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",

address = "Germany",

note = "4th Congress of the Italian Association for Artificial Intelligence, AI*IA 1995 ; Conference date: 11-10-1995 Through 13-10-1995",

url = "https://dl.acm.org/doi/proceedings/10.5555/648149",

}

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, 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 proceeding › Conference contribution › peer-review

TY - GEN

T1 - Priorities in default logic revisited

AU - Antoniou, Grigoris

N1 - Conference code: 4

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

AN - SCOPUS:84957694972

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

T2 - 4th Congress of the Italian Association for Artificial Intelligence

Y2 - 11 October 1995 through 13 October 1995

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)). doi: 10.1007/3-540-60437-5_15

Priorities in default logic revisited

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this