Resource-bounded belief revision door