1 Partial Models and Non-monotonic Inference K. Konolige