Non-monotonic reasoning system