Configuration Manager
? : g0, g1 ??? called goal configurations, is a sequence of propositional formulae on ?
O : o0, o1 ??? is a sequence of observations
? : ?0, ?1 ???a sequence of values for all control variables so that S evolves through a configuration trajectory ? : s0, s1 ? such that
- for every assignment ai that agrees with si, oi, and ?i
- if si+1 = ?n (ai), then si+1 satisfies goal configuration gi