On monotone chaining procedures of the CF type

摘要

We study procedures in which revised estimates of variables are iteratively computed, from initially given estimates, via use of monotone functions. Under broad hypotheses, we show how to obtain the limit values, when these exist, by solving a single mixed integer program.This result aids the computation of ‘measures of belief’ in procedures based on inexact reasoning, such as occur in some ‘expert systems’.