Formulating Dynamic Strategies Using Decision Calculus