Optimality, uncertainty, and dynamic programming with lower previsions door