Mathematical model for dynamic case-based planning.