Locally strong coherence and inference with lower–upper probabilities |
| |
Authors: | A Capotorti L Galli B Vantaggi |
| |
Affiliation: | (1) Dipartimento di Matematica e Informatica, Via Vanvitelli 1, 06123 Perugia, Italy E-mail: capot@dipmat.unipg.it, IT;(2) Dipartimento di Metodi e Modelli Matematici, Via Scarpa 16, 00161 Roma, Italy, IT |
| |
Abstract: | We introduce an operational way to reduce the spatial complexity in inference processes based on conditional lower–upper
probabilities assessments. To reach such goal we must suitably exploit zero probabilities taking account of logical conditions
characterizing locally strong coherence. We actually re-formulate for conditional lower–upper probabilities the notion of
locally strong coherence already introduced for conditional precise probabilities. Thanks to the characterization, we avoid
to build all atoms, so that several real problems become feasible. In fact, the real complexity problem is connected to the
number of atoms. Since for an inferential process with lower–upper probabilities several sequences of constraints must be
fulfilled, our simplification can have either a “global” or a “partial” effect, being applicable to all or just to some sequences.
The whole procedure has been implemented by XLisp-Stat language. A comparison with other approaches will be done by an example.
The contribution of L. Galli has been essentially addressed to some aspects of the algorithm's implementation. |
| |
Keywords: | Lower-upper probabilities Inference Locally strong coherence |
本文献已被 SpringerLink 等数据库收录! |
|