Locally Strong Coherence in Inference Processes

  • Authors:
  • Andrea Capotorti;Barbara Vantaggi

  • Affiliations:
  • Dipartimento di Matematica e Informatica, Università di Perugia, via Vanvitelli 1, 06123 Perugia, Italy E-mail: capot@dipmat.unipg.it;Dipartimento di Metodi e Modelli Matematici, Università “La Sapienza”, via Scarpa 16, 00161 Roma, Italy E-mail: vantaggi@dmmm.uniroma1.it

  • Venue:
  • Annals of Mathematics and Artificial Intelligence
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.