Non-monotonic logics
Solutions which handle the above described conditions and, in a way, map the non-uniform orders of deduction of the real world are called non-monotonic logics, for which an extensive set of representation tools is available. Non-monotonic logics, however, are also rooted in traditional logic.