Computational Vision as a (Non-Monotonic) Reasoning Process