Abstract. We present a new approach to deal with default information based on the theory of belief functions. Our semantic structures, inspired by Adams ' epsilon semantics, are epsilon-belief assignments, where mass values are either close to 0 or close to 1. In the first part of this paper, we show that these structures can be used to give a uniform semantics to several popular non-monotonic systems, including Kraus, Lehmann and Magidor's system P, Pearl's system Z, Brewka's preferred sub-theories, Geffner's conditional entailment, Pinkas ' penalty logic, possibilistic logic and the lexicographic approach. In the second part, we use epsilon-belief assignments to build a new system, called LCD, and show that this system correctly addresses the well-known problems of specificity, irrelevance, blocking of inheritance, ambiguity, and redundancy. 1
|
4539
|
Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference
– Pearl
- 1988
|
|
1284
|
A mathematical theory of evidence
– Shafer
- 1976
|
|
1195
|
A logic for default reasoning
– Reiter
- 1980
|
|
419
|
Nonmonotonic reasoning, preferential models and cumulative logics
– Kraus, Lehmann, et al.
- 1990
|
|
371
|
Statistical Reasoning with Imprecise Probabilities
– Walley
- 1991
|
|
209
|
Reasoning About Change: Time and Causation From the Standpoint of Artificial Intelligence
– Shoham
- 1988
|
|
194
|
What does a Conditional Knowledge Base Entail
– Lehmann, Magidor
- 1992
|
|
188
|
Fuzzy sets as a basis for a theory of possibility
– Zadeh
- 1978
|
|
185
|
The transferable belief model
– Smets, Kennes
- 1994
|
|
166
|
Preferred subtheories: an extended logical framework for default reasoning
– Brewka
- 1989
|
|
162
|
Theoretical foundation for non-monotonic reasoning part ii: Structured nonmonotonic theories
– Gabbay
- 1991
|
|
158
|
Possibilistic logic
– Dubois, Lang, et al.
- 1994
|
|
141
|
System Z: A natural ordering of defaults with tractable applications to default reasoning
– Pearl
- 1990
|
|
128
|
Inconsistency management and prioritized syntax-based entailment
– Benferhat, Cayrol, et al.
- 1993
|
|
116
|
The Logic of Conditionals
– Adams
- 1975
|
|
98
|
Combining Knowledge Bases Consisting of First Order Theories
– Baral, Kraus, et al.
- 1991
|
|
85
|
Default Reasoning. Causal and Conditional Theories
– Geffner
- 1992
|
|
85
|
Representing default rules in possibilistic logic
– Benferhat, Dubois, et al.
- 1992
|
|
69
|
The combination of evidence in the transferable belief model
– Smets
- 1990
|
|
62
|
Another perspective on default reasoning
– LEHMANN
- 1995
|
|
55
|
A Mathematical Theory of Hints: An Approach to the Dempster-Shafer Theory of Evidence
– Kohlas, Monney
- 1995
|
|
53
|
Belief functions
– Smets
- 1988
|
|
38
|
Using crude probability estimates to guide diagnosis
– Kleer
- 1990
|
|
31
|
Average-case analysis of a search algorithm for estimating prior and posterior probabilities in Bayesian networks with extreme probabilities
– Poole
- 1993
|
|
31
|
Implicit ordering of defaults in inheritance systems
– Touretzky
- 1984
|
|
28
|
Propositional non-monotonic reasoning and inconsistency in symmetrical neural networks
– Pinkas
- 1991
|
|
24
|
Nonmonotonic inference based on expectations
– Girdenfors, Makinson
- 1994
|
|
23
|
Generalized qualitative probability : Savage revisited
– Lehmann
- 1996
|
|
19
|
with the collaboration of Farreny H., Martin- Clouaire R., Testemale C.) Possibility Theory -- An Approach to Computerized Processing of Uncertainty
– Dubois, Prade
- 1988
|
|
18
|
The dynamic of belief in the transferable belief model and specialization-generalization matrices
– Smets
- 1992
|
|
18
|
Internal set theory: a new approach to nonstandard analysis
– Nelson
- 1977
|
|
17
|
A general approach for inconsistency handling and merging information in prioritized knowledge bases
– Benferhat, Dubois, et al.
- 1998
|
|
15
|
The normative representation of quantified beliefs by belief functions
– Smets
- 1997
|
|
14
|
System Z + : A formalism for reasoning with variable-strength defaults
– Goldszmidt, Pearl
- 1991
|
|
13
|
A general approach to specificity in default reasoning
– Delgrande, Schaub
- 1994
|
|
12
|
Conditional objects, possibility theory and default rules
– Dubois, Prade
- 1995
|
|
12
|
Default reasoning and the transferable belief model
– Smets, Hsia
- 1991
|
|
11
|
What is a Default priority
– Boutilier
- 1992
|
|
11
|
Foundations of infinitesimal calculus
– Keisler
- 1976
|
|
11
|
The Concept of Distinct Evidence
– Smets
- 1992
|
|
9
|
Probability and the Logic of Conditionals', in Aspects of Inductive Logic
– Adams
- 1966
|
|
7
|
The a-junctions: combination operators applicable to belief functions
– Smets
- 1997
|
|
6
|
Penalty logic and its link with DempsterShafer theory
– Cyr, Lang, et al.
- 1994
|
|
6
|
Some theoretical aspects of the Dempster-Shafer theory
– Wilson
- 1992
|
|
5
|
Handling uncertainty, context, vague predicates, and partial inconsistency in possibilistic logic
– Dubois, Lang, et al.
- 1991
|
|
4
|
Defaults and infinitesimals Defeasible Inference by Nonarchimedean Entropy Maximization
– Weydert
- 1995
|
|
4
|
Default logic and Dempster-Shafer theory
– Wilson
- 1993
|
|
4
|
A belief-Function Semantics for Cautious Non-Monotonicity
– Hsia
- 1991
|
|
3
|
Evidential reasoning in a categorial perspective: conjunction and disjunction of belief functions
– Kennes
- 1991
|
|
3
|
General theory of cumulative inference", In: Non-Monotonic Reasoning
– Makinson
- 1989
|
|
