Characterization of Multiple-Valued Logic for Dealing with Ambiguity