Belief revision: An introduction