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...
Saved in:
Published in: | Annals of mathematics and artificial intelligence 2002-05, Vol.35 (1-4), p.125-149 |
---|---|
Main Authors: | , |
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!
|
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 |