Ant algorithm for modifying an inconsistent pairwise weighting matrix in an analytic hierarchy process · Study