Diagnosis as Planning Revisited

Shirin Sohrabi, Jorge A. Baier, and Sheila A. McIlraith
Submission Type: 
Full Paper
phmc_10_103.pdf11.44 KBOctober 14, 2010 - 10:02pm

In the spirit of past contributions
to the formal characterization of diagnosis, this paper presents a formal characterization
of diagnosis of discrete dynamical systems, appealing to the situation
calculus. It then proceeds to establish a correspondence between
computing dynamical diagnoses and generating plans. It is this
correspondence that we feel may be of particular interest to
the DX community. Planning technology provides
tailored representations and fast, efficient algorithms for
automated plan generation. This paper shows how such technology can
be brought to bear on the problem of generating diagnoses.
Initial experiments support our claim that planning technology holds great
promise for efficient generation of diagnoses.

Publication Control Number: 
Submission Keywords: 
Reasoning about action
Submitted by: 

follow us

PHM Society on Facebook Follow PHM Society on Twitter PHM Society on LinkedIn PHM Society RSS News Feed