Calculus for decision systems