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.

Original 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 - Florence, Italy
Duration: 11 Oct 199513 Oct 1995
Conference number: 4
https://dl.acm.org/doi/proceedings/10.5555/648149

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
Abbreviated titleAI*IA 1995
CountryItaly
CityFlorence
Period11/10/9513/10/95
Internet address

    Fingerprint

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