Pervasive diagnosis: the integration of active diagnosis into production plans
In model-based control, a planner uses a system description to create a plan that will realize production goals. The same model can be used by model-based diagnosis to indirectly infer the condition of components in a system from partially informative sensors. Existing work has demonstrated that diagnosis can be used to adapt the control of a system to changes in its components, however diagnosis must either make inferences from passive observations of production plans, or production must be halted to take specific diagnostic actions. In this paper, we observe that the declarative nature of model-based control allows the planner to achieve production goals in multiple ways. We show that this flexibility can be exploited by an efficient informed search that produces diagnostic production plans that simultaneously achieve production goals while generating additional information about component conditions. Experiments on a model of an industrial digital printing press confirm that the theoretical increase in information can be realized on practical systems and used to obtain higher productivity than a decoupled combination of planning and diagnosis.
Kuhn, L. ; Price, R. ; de Kleer, J. ; Do, M. B. ; Zhou, R. Pervasive diagnosis: the integration of active diagnosis into production plans. Twenty-third AAAI Conference on Artificial Intelligence; 2008 July 13-17; Chicago, IL.