Reasoning about Priorities in Default Logic

11 years 8 months ago
Reasoning about Priorities in Default Logic
In this paper we argue that for realistic applications involving default reasoning it is necessary to reason about the priorities of defaults. Existing approaches require the knowledge engineer to explicitly state all relevant priorities which are then handled in an extralogical manner, or they are restricted to priorities based on specificity, neglecting other relevant criteria. We present an approach where priority information can be represented withinthe logical language. Our approach is based on PDL, a prioritized extension of Reiter's Default Logic recently proposed by the same author. In PDL the generation of extensions is controlled by an ordering of the defaults. This property is used here in the following way: we first build Reiter extensions of a given default theory. These extensions contain explicit information about the priorities of defaults. We then eliminate every extension E that cannot be reconstructed as a PDL extension based on a default ordering that is compa...
Gerhard Brewka
Added 02 Nov 2010
Updated 02 Nov 2010
Type Conference
Year 1994
Where AAAI
Authors Gerhard Brewka
Comments (0)