Non-monotonic reasoning door Tan