Non-monotonic Logic (Stanford Encyclopedia of Philosophy)