implementing belief state update