PDL2's inherent mode of reasoning is defaultreasoning.
Precepts given a priori and rules generated
by induction from examples serve as defaults.
Theyare always followed when matched by a new situation,
unless the new situation also matches one of their
exceptions. The default reasoning mechanism is
supplemented by similarity-based reasoning, thereby
decreasing the system's susceptibility to brittleness.