1990
DOI: 10.1016/b978-0-444-88650-7.50019-6
|View full text |Cite
|
Sign up to set email alerts
|

Axioms for Probability and Belief-Function Propagation

Abstract: In this paper, we describe an abstract framework and axioms under which exact local computation of marginals is possible. The primitive objects of the framework are variables and valuations. The primitive operators of the framework are combination and marginalization. These operate on valuations. We state three axioms for these operators and we derive the possibility of local computation from the axioms. Next, we describe a propagation scheme for computing marginals of a valuation when we have a factorization … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

1
150
0

Year Published

1996
1996
2013
2013

Publication Types

Select...
3
3
2

Relationship

0
8

Authors

Journals

citations
Cited by 216 publications
(151 citation statements)
references
References 17 publications
1
150
0
Order By: Relevance
“…the network structures they support, but in most cases they are applicable independent of the given uncertainty calculus, provided, of course, the elementary operations like extension (conditioning) and projection have been adapted to this calculus [33,35,44]. A fairly general approach to reasoning under uncertainty in so-called valuation-based networks has been proposed in [46,48,47]. It can be applied, for example, to upper and lower probabilities [52], Dempster-Shafer theory of evidence [12,13,42,43,49], and possibility theory [56,15,16], and has been implemented in the software tool PULCINELLA [41].…”
Section: Evidence Propagationmentioning
confidence: 99%
See 1 more Smart Citation
“…the network structures they support, but in most cases they are applicable independent of the given uncertainty calculus, provided, of course, the elementary operations like extension (conditioning) and projection have been adapted to this calculus [33,35,44]. A fairly general approach to reasoning under uncertainty in so-called valuation-based networks has been proposed in [46,48,47]. It can be applied, for example, to upper and lower probabilities [52], Dempster-Shafer theory of evidence [12,13,42,43,49], and possibility theory [56,15,16], and has been implemented in the software tool PULCINELLA [41].…”
Section: Evidence Propagationmentioning
confidence: 99%
“…An important method to represent the resulting decomposition is graphical modeling. It also provides useful theoretical and practical concepts for efficient reasoning under uncertainty [54,6,35,48]. Applications of graphical models can be found in a large variety of areas including diagnostics, expert systems, planning, data analysis, and control.…”
Section: Introductionmentioning
confidence: 99%
“…One limitation of the variable elimination algorithm, as formulated above, is that it has to be repeated for each variable of interest. This is overcome in other inference algorithms, e.g., [19].…”
Section: Inferencementioning
confidence: 99%
“…It is well known that the exact inference schemes currently employed (e.g., [1]) only work for some particular classes of hybrid BNs. The most common strategies for performing inference in a hybrid BN can roughly be divided into three categories: Firstly, a subset of models (commonly referred to conditional Gaussian models) allow exact inference.Secondly, approximate inference procedures like stochastic sampling can be employed.…”
Section: Introductionmentioning
confidence: 99%
“…Unfortunately, though, this algorithm has computational issues, which have prevented it from being commonly used in practice. 1 For instance, the algorithm requires re-implementation of the message passing algorithm for inference (communicating objects called "weights", which are used to re-adjust the discretisation when evidence is found in low-probability regions of the density together with the standard messages), it uses specialised data structures called binary split partition trees for which the standard inference operations must be defined, and it must find or approximate the minimum and maximum values of potentially high-dimensional functions on each hypercube to utilise the bound in Equation (2).…”
Section: Introductionmentioning
confidence: 99%