states should be minimized if a decision-making
system (such as PDL2) is to be useful. In other words,
if there exists some way to resolve the conflict, the
system should make use of it. For two defaults to
conflict, the sets of examples they represent must
overlap. PDL2 offers two (possibly complementary)
ways of effectively handling conflicting defaults. One
is intensional, and the other is extensional.