Integrating abductive reasoning with probabilistic temporal prediction in diagnostic problem solving

Luigi Portinale, Alessandro Rigallo, Pietro Torasso

Risultato della ricerca: Capitolo in libro/report/atti di convegnoContributo a conferenzapeer review

Abstract

In the present paper, we discuss an approach to diagnosis across different time instants, based on the decomposition of static and time-varying aspects; in particular the approach is based on the integration of abductive reasoning, used for interpreting observations at a given time point and probabilistic prediction concerning the temporal evolution of the components of the system to be diagnosed. The emphasis of the paper is on mechanisms for relating diagnostic hypotheses at different time instants. We show how the probability of the resulting histories can be computed by taking into account that partial diagnoses are produced by the abductive atemporal reasoner. We briefly discuss a prototype composed of two basic modules combined in a pipeline architecture, where the first module produces atemporal diagnoses that the second relates across different time points.

Lingua originaleInglese
Titolo della pubblicazione ospiteProceedings of the IEEE International Conference on Systems, Man and Cybernetics
Editor Anon
EditorePubl by IEEE
Pagine725-730
Numero di pagine6
ISBN (stampa)0780309111
Stato di pubblicazionePubblicato - 1993
Pubblicato esternamente
EventoProceedings of 1993 International Conference on Systems, Man and Cybernetics - Le Touquet, Fr
Durata: 17 ott 199320 ott 1993

Serie di pubblicazioni

NomeProceedings of the IEEE International Conference on Systems, Man and Cybernetics
Volume1
ISSN (stampa)0884-3627

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???Proceedings of 1993 International Conference on Systems, Man and Cybernetics
CittàLe Touquet, Fr
Periodo17/10/9320/10/93

Fingerprint

Entra nei temi di ricerca di 'Integrating abductive reasoning with probabilistic temporal prediction in diagnostic problem solving'. Insieme formano una fingerprint unica.

Cita questo