An Inconsistency-Tolerant Approach to Information Merging Based on Proposition Relaxation