Overview of belief revision theory