Diagnosis as Planning Revisited

In discrete dynamical systems change results from actions. As such, given a set of observations, diagnoses often take the form of posited events that result in the observed behaviour. In this paper we revisit formal characterizations of diagnosis, and their relationship to planning. We do so from both a theoretical and a computational perspective. In particular, we extend the characterization of diagnosis to deal with the case of incomplete information, and rich preferences. We also explore the use of state-of-the-art planning technology for the automated generation of diagnoses. Examining several classes of diagnosis problems, we provide both proof of concept and benchmark experiments, the latter showing superior performance to a leading diagnosis engine. Our findings help support the hypothesis that planning technology holds great promise for efficient generation of diagnoses.

• Type: Conference
• Year: 2010
• Where: KR
• Authors: Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith
• Keywords: Automated Reasoning, Discrete Dynamical Systems, KR 2010, Planning Technology, State-of-the-art Planning Technology