A computational scheme for reasoning in dynamic probabilistic networks