A model for belief revision