An analysis engine which takes a current state and infers a list of probable commands that will result in the given expected state.