1. A computer system navigation planner, said computer system comprising: a processor; a computer memory coupled to said processor; one or more computer application models stored in said computer memory, each of said models comprising a state comprising an action and one or more Boolean expressions; and a navigation planner stored in said computer memory; wherein when said navigation planner receives a problem statement comprising an initial condition and an end condition, each of said conditions comprising one or more Boolean expressions, said navigation planner accessing said computer application models to create a workflow of solving said problem statement, said workflow comprising an ordered combination of said models such that said ordered combination of models contain Boolean expressions that combine to satisfy said initial condition Boolean expression and end condition Boolean expression.