An Anytime Algorithm for Computing Inconsistency Measurement