Loading…

Locally Strong Coherence in Inference Processes

In this paper we deal with probabilistic inference in the most general form of coherent conditional probability assessments. In particular, our aim is to reduce computational difficulties that could arise with a direct application of the main characterization results. We reach our goal by introducin...

Full description

Saved in:
Bibliographic Details
Published in:Annals of mathematics and artificial intelligence 2002-05, Vol.35 (1-4), p.125-149
Main Authors: Capotorti, Andrea, Vantaggi, Barbara
Format: Article
Language:English
Subjects:
Citations: Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In this paper we deal with probabilistic inference in the most general form of coherent conditional probability assessments. In particular, our aim is to reduce computational difficulties that could arise with a direct application of the main characterization results. We reach our goal by introducing the notion of locally strong coherence and characterizing it by logical conditions. Hence, some of the numerical constraints are replaced by Boolean satisfiability conditions. An automatic procedure is proposed and its efficiency is proved. Some examples are reported to make easier the understanding of the machinery and to show its effectiveness.
ISSN:1012-2443
1573-7470
DOI:10.1023/A:1014531116863