Describir: Non-monotonic reasoning :