See the following link for basic information:
Non-monotonic Logic (Stanford Encyclopedia of Philosophy)