𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Default reasoning and possibility theory

✍ Scribed by Didier Dubois; Henri Prade

Publisher
Elsevier Science
Year
1988
Tongue
English
Weight
743 KB
Volume
35
Category
Article
ISSN
0004-3702

No coin nor oath required. For personal study only.

✦ Synopsis

This note discusses an approach, recently outlined by Ron Yager, to default reasoning based on possibility theory. Some limitations of his technique are pointed out, and remedied in the same theoretical framework. The proposed approach leads to address the question of fusing a default value with a piece of incomplete but certain information which may only partially contradict the default value.

πŸ“œ SIMILAR VOLUMES

On the dynamics of default reasoning
On the dynamics of default reasoning
✍ Grigoris Antoniou πŸ“‚ Article πŸ“… 2002 πŸ› John Wiley and Sons 🌐 English βš– 114 KB

Default logic is a prominent rigorous method for reasoning with incomplete information based on assumptions. It is a static reasoning approach, in the sense that it doesn't reason about changes and their consequences. On the other hand, its nonmonotonic behavior appears when changes to a default the

Uncertain inheritance and recognition as
Uncertain inheritance and recognition as probabilistic default reasoning
✍ T. H. Cao πŸ“‚ Article πŸ“… 2001 πŸ› John Wiley and Sons 🌐 English βš– 176 KB

This paper proposes probabilistic default reasoning as a suitable approach to uncertain inheritance and recognition for fuzzy and uncertain object-oriented models. The uncertainty is due to the uncertain membership of an object to a class and/or the uncertain applicability of a property, i.e., an at

Support set selection for a bductive and
Support set selection for a bductive and default reasoning
✍ Bart Selman; Hector J. Levesque πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 987 KB

Of all the possible ways of computing abductive explanations, the ATMS procedure is one of the most popular. While this procedure is known to run in exponential time in the worst case, the proof actually depends on the existence of queries with an exponential number of answers. But how much of the d