Diagnosis as Planning Revisited: An Abridged Report

##plugins.themes.bootstrap3.article.main##

##plugins.themes.bootstrap3.article.sidebar##

PDF
Published Oct 11, 2010
DOI https://doi.org/10.36001/phmconf.2010.v2i1.1958
Shirin Sohrabi
Department of Computer Science, University of Toronto, Toronto, Canada
Jorge A. Baier
Depto. de Ciencia de la Computacio ́n, Pontificia Universidad Cato ́lica de Chile, Santiago, Chile
Sheila A. McIlraith
Department of Computer Science, University of Toronto, Toronto, Canada

Abstract

In the spirit of past contributions to the formal characterization of diagnosis (e.g., (Reiter, 1987; de Kleer et al., 1992)) 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.

How to Cite

Sohrabi, S., A. Baier, J. ., & A. McIlraith, S. (2010). Diagnosis as Planning Revisited: An Abridged Report. Annual Conference of the PHM Society, 2(2). https://doi.org/10.36001/phmconf.2010.v2i1.1958
Abstract 143 | PDF Downloads 170

##plugins.themes.bootstrap3.article.details##

Keywords

diagnosis, Reasoning about action, Planning

References
(de Kleer et al., 1992) J. deKleer, A. K. Mackworth, and R. Reiter. Characterizing diagnoses and sys- tems. AIJ, 56(2-3):197–222, 1992.
(Reiter, 1987) R. Reiter. A theory of diagnosis from first principles. AIJ, 32(1):57–95, 1987.
Issue
Vol. 2 No. 2 (2010): Proceedings of the 21st International Workshop on the Principles of Diagnosis, held jointly with the Annual Conference of the PHM Society 2010
Section
Technical Research Papers

The Prognostic and Health Management Society advocates open-access to scientific data and uses a Creative Commons license for publishing and distributing any papers. A Creative Commons license does not relinquish the author’s copyright; rather it allows them to share some of their rights with any member of the public under certain conditions whilst enjoying full legal protection. By submitting an article to the International Conference of the Prognostics and Health Management Society, the authors agree to be bound by the associated terms and conditions including the following:

As the author, you retain the copyright to your Work. By submitting your Work, you are granting anybody the right to copy, distribute and transmit your Work and to adapt your Work with proper attribution under the terms of the Creative Commons Attribution 3.0 United States license. You assign rights to the Prognostics and Health Management Society to publish and disseminate your Work through electronic and print media if it is accepted for publication. A license note citing the Creative Commons Attribution 3.0 United States License as shown below needs to be placed in the footnote on the first page of the article.

First Author et al. This is an open-access article distributed under the terms of the Creative Commons Attribution 3.0 United States License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.