Page suivante: About this document ...

Decision-theoretic diagnosis and repair: representational and computational issues

Daniel Le Berre, Régis Sabbadin
IRIT - Université Paul Sabatier - 31062 Toulouse Cedex (France)
e-mail: {leberre, sabbadin} @irit.fr

Abstract:

In this paper, we propose an original approach to diagnosis and repair based on label computation in ATMS, where assumptions are either usual abnormality assumptions, or repair-action assumptions, or goal assumptions. We assign probabilities to component failures and utilities to gradual goals. Then we give an algorithm using an original method (based on the Davis and Putnam procedure) for computing the belief-based expected utility of a repair-action.
Keywords: diagnosis and repair, abductive diagnosis, Dempster-Shafer theory, decision theory, ATMS.