Epistemic Situation Calculus Based on Granular Computing