Statistically Optimal Configuration Management
Statistical Mode Identification [deKleer & Williams 86]
p(si | oi) = p(oi | si) p(si) / p(oi) Bayes Rule ??p(oi | si) p(si)
p(oi | si) is approximated from the model
- p(oi | si) = 1 if si entails oi
- p(oi | si) = 0 if si and oi are inconsistent
- p(oi | si) = ? Otherwise
Optimal Mode Reconfiguration
Control ?i+1 = argmin C(si , ?i+1’) s.t. ?i+1’ ?? goal