Coherence checking and propagation of lower probability bounds

Giuseppe Sanfilippo, Angelo Gilio, Giuseppe Sanfilippo, Veronica Biazzo

Research output: Contribution to journalArticlepeer-review

15 Citations (Scopus)


In this paper we use imprecise probabilities,based on a concept of generalized coherence (g-coherence), for the management of uncertain knowledge and vague information. We face the problem of reducing the computational difficulties in g-coherence checking and propagation of lower conditional probability bounds. We examine a procedure, based on linear systems with a reduced number of unknowns, for the checking of g-coherence.We propose an iterative algorithm to determine the reduced linear systems. Based on the same ideas, we give an algorithm for the propagation of lower probability bounds. We also give some theoretical results that allow, by suitably modifying our algorithms, the g-coherence checking and propagation by working with a reduced set of variables and/or with a reduced set of constraints. Finally, we apply our algorithms to some examples.
Original languageEnglish
Pages (from-to)310-320
Number of pages11
JournalSoft Computing
Publication statusPublished - 2003

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Software
  • Geometry and Topology


Dive into the research topics of 'Coherence checking and propagation of lower probability bounds'. Together they form a unique fingerprint.

Cite this