Consider a sub family of model-based optimal controllers where...
- s(t), s’(t), o(t), ?(t), ?(t) have discrete, finite domains and time t is discrete.
- f and g are specified declaratively.
- the estimator and regulator are implemented as queries to a fast, best first, propositional inference kernel.
? = argmin C(s’, ? , ?’) s.t. ?’ ?? ?