Default Reasoning with a Constraint Resolution Principle
|
Abstract:
Abstract. Common non-monotonic deduction systems such as Reiters default logic or inheritance networks must handle the multiple extension problem, i.e. generally they have distinct consistent sets of conclusions (extensions) which can be drawn from a theory. Most of these systems do not provide any control structure that helps to determine in which of these extensions inferences are made. Default proof theories are in most cases only able to prove if a sentence is in at least one extension. We create a resolution based system for default reasoning where an explicit control set can be built during reasoning and where default assumptions made in a deduction are remembered as constraints. The resulting system is a cumulative default logic which assures an even stricter cumulativity than Brewka's Cumulative Default Logic and is strong enough to express Poole's Framework for default reasoning. It turns out that the created system ranges from the logic with restricted quantifiers of H.J.Burckert via Reiter's default logic to the logic of theory change of Gardenfors. 1
Citations
| 457 | Knowledge in Flux. Modeling the Dynamics of Epistemic States – Gärdenfors - 1988 |
| 345 | A logical framework for default reasoning – Poole - 1988 |
| 120 | Theorist: a logical reasoning system for defaults and diagnosis – Poole, Goebel, et al. - 1987 |
| 108 | General theory of cumulative inference – Makinson - 1989 |
| 88 | Embedding defaults into terminological knowledge representation formalisms – Baader, Hollunder - 1995 |
| 65 | Default Logic – Besnard - 1992 |
| 35 | A Resolution Principle for a Logic with Restricted Quantifiers – Hans-Jurgen, Burckert - 1991 |
| 5 | A logic for default reasoning' Artificial Intelligence 13: 81-132. Reprinted pp 68-93 of M.Ginsberg ed – Reiter - 1980 |
| 1 | Cumulative Default Logik: in defense of nonmonotonic inference rules – Brewka - 1991 |
