Survey on Non-Monotonic Reasoning