Reiter’s Default Logic (DL) is one of the most popular forrealizations of default reasoning. Nevertheless, the logic has a serious deficiency: the specificity principle, i.e. the commonly accepted idea that in case of a conflict more specific defaults should be preferred over more general ones, is lacking. In this paper we show how this principle can be added to Default Logic. We first present a prioritized version of DL for normal defaults, called PDL. Adapting ideas underlying Geffner and Pearl’s conditional entailment we then show how the priorities needed to handle specificity can be defined. This treatment of specificity avoids two serious problems in Pearl’s system Z and leads to stronger conclusions than conditional entailment in many cases.
CITATION STYLE
Brewka, G. (1994). Adding priorities and specificity to default logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 838 LNAI, pp. 247–260). Springer Verlag. https://doi.org/10.1007/bfb0021977
Mendeley helps you to discover research relevant for your work.