by Gerhard Brewka, Thomas Eiter
In Festschrift on the occasion of Prof.Dr. W. Bibel's 60th birthday
http://www.informatik.uni-leipzig.de/~brewka/papers/PDL.ps
Add To MetaCart
Abstract:
Abstract. A number of prioritized variants of Reiter's default logic have been described in the literature. In this paper, we introduce two natural principles for preference handling and show that all existing approaches fail to satisfy them. We develop a new approach which does not suffer from these shortcomings. We start with the simplest case, supernormal default theories, where preferences are handled in a straightforward manner. The generalization to prerequisite-free default theories is based on an additional fixed point condition for extensions. The full generalization to arbitrary default theories uses a reduction of default theories to prerequisite-free theories. The reduction can be viewed as dual to the Gelfond/Lifschitz reduction used in logic programming for the definition of answer sets. We finally show how preference information can be represented in the logical language. 1
Citations
|
1177
|
A logic for default reasoning
– Reiter
- 1979
|
|
1126
|
The Stable Model Semantics for Logic Programming
– Gelfond, Lifschitz
- 1988
|
|
683
|
Circumscription - a form of nonmonotonic reasoning
– McCarthy
- 1980
|
|
398
|
Semantical considerations on non-monotonic logic
– Moore
- 1985
|
|
170
|
Complexity results for nonmonotonic logics
– Gottlob
- 1992
|
|
124
|
The Complexity of Logic-Based Abduction
– Eiter, Gottlob
- 1995
|
|
106
|
On the relationship between circumscription and negation as failure
– Gelfond, Przymusinska, et al.
- 1989
|
|
101
|
Preferred answer sets for ex-tended logic programs
– Brewka, Eiter
- 1999
|
|
90
|
On the comparison of theories: Preferring the most specific explanation
– Poole
- 1985
|
|
77
|
Reasoning about priorities in default logic
– Brewka
- 1994
|
|
73
|
Well-founded semantics for extended logic programs with dynamic preferences
– Brewka
- 1996
|
|
62
|
Adding Priorities and Specificity to Default Logic
– Brewka
- 1994
|
|
58
|
Nonmonotonic Logics
– Marek, Truszczyiski
- 1993
|
|
48
|
Hierarchic Autoepistemic Theories for Nonmonotonic Reasoning: Preliminary Report
– Konolige
- 1988
|
|
43
|
Reasoning with prioritized defaults
– Gelfond, Son
- 1997
|
|
32
|
The Mathematics of Inheritance
– Touretzky
- 1986
|
|
31
|
Priorities on Defaults with Prerequisite and their Application in Treating Specificity in Terminological Default Logic
– Baader, Hollunder
- 1995
|
|
28
|
Answer sets for prioritized logicprograms
– Zhang, Foo
- 1997
|
|
22
|
Compiling Reasoning With and About Preferences into Default Logic
– Delgrande, Schaub
- 1997
|
|
11
|
On specificity in default logic
– Rintanen
- 1995
|
|
8
|
A Skeptic's Menagerie
– Touretzky, Thomason, et al.
- 1991
|
|
6
|
Defeasible Logic, in Handbook of Logic in
– Nute
- 1994
|
|
5
|
T.H.: A General Approach to Specificity
– P, Schaub
- 1994
|
|
5
|
Logical Tools for Modelling Legal Argument. Dissertation, Vrije Universiteit
– Prakken
- 1993
|
|
1
|
Preferred Subtheor89ies: An Extended Logical Framework for Default Reasoning
– Brewka
- 1989
|
|
1
|
is it to Revise a Belief Base ? In: Handbook on Defeasible Reasoning and Uncertainty Management Systems. Volume 2: Belief Change
– Hard
|
