TY - GEN
T1 - Integrating abductive reasoning with probabilistic temporal prediction in diagnostic problem solving
AU - Portinale, Luigi
AU - Rigallo, Alessandro
AU - Torasso, Pietro
PY - 1993
Y1 - 1993
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=0027852235&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:0027852235
SN - 0780309111
T3 - Proceedings of the IEEE International Conference on Systems, Man and Cybernetics
SP - 725
EP - 730
BT - Proceedings of the IEEE International Conference on Systems, Man and Cybernetics
A2 - Anon, null
PB - Publ by IEEE
T2 - Proceedings of 1993 International Conference on Systems, Man and Cybernetics
Y2 - 17 October 1993 through 20 October 1993
ER -