An Abductive Non-Monotonic Logic