Belief revision through the belief-function formalism in a multi-agent environment