PDL2's inherent mode of reasoning is default
reasoning. Precepts given a priori and rules generated
by induction from examples serve as defaults. They
are 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.