belief revision implementation