Abstract
A complete proof of convergence of a certain class of reduction algorithms for distance-based inconsistency for pairwise comparisons is presented in this paper. Using pairwise comparisons is a powerful method for synthesizing measurements and subjective assessments. From the mathematical point of view, the pairwise comparisons method generates a matrix of ratio values of the ith entity compared with the jth entity according to a given criterion. Entities/criteria can be both quantitative or qualitative allowing this method to deal with complex decisions. However, subjective assessments often involve inconsistency, which is usually undesirable. The assessment can be refined via analysis of inconsistency, leading to reduction of the latter. The proposed method of localizing the inconsistency may conceivably be of relevance for nonclassical logics and for uncertainty reasoning since it accommodates inconsistency by treating inconsistent data as still useful information