An AGM-Based Belief Revision Mechanism for Probabilistic Spatio-Temporal Logics