non-monotonic inference

listen to the pronunciation of non-monotonic inference