Uncomputability of Supremal Local Supports in Distributed Diagnosis


In distributed diagnosis it may be useful to achieve local consistency among local estimates. For that purpose the Computational Procedure for Local Consistency (CPLC) was proposed to achieve the supremal local support, which represents one type of local consistency. It has been shown that if CPLC terminates then the result is in fact the supremal local… (More)

2 Figures and Tables


  • Presentations referencing similar topics