An important issue with default reasoning is that
of conflicting defaults, as in the famous Nixon
Diamond [17]. Such cases are characterized by the
existence of two or more conflicting defaults that apply
equally well to the situation at hand. In the absence of
other information, the system is left in a "true" don't
know state. However, it is our contention that such