MI/MR as combinatorial optimization
MI
- variables: components with domains the possible modes
- an assignment corresponds to a candidate diagnosis
- feasibility: consistency with observations
- cost: probability of a candidate diagnosis
MR
- variables: components with domains the possible modes
- an assignment corresponds to a candidate repair
- feasibility: entailment of goal
- cost: cost of repair