Advertisement

Preventive diagnosis: Definition and logical model

  • Giovanni Guida
  • Marina Zanella
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 992)

Abstract

Preventive diagnosis is aimed at foreseeing likely future faults in a physical system before they actually occur. Although this task is extremely important in several practical application domains, there is currently no general theory of preventive diagnosis. This paper is an attempt to set up a foundation of such a theory. First, a definition of preventive diagnosis is proposed, and an abstract model that contains the main assumptions underlying this concept is developed. Later, a logical model of the preventive diagnosis task which outlines a problem-solving process, called Check-up And Foresee, is described. Attention is then focused on the appropriateness of the knowledge-based technology as a way for implementing the Check-up And Foresee approach. Finally, a high-level analysis of the fundamental knowledge sources involved in the task of preventive diagnosis is performed.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Chittaro et al. 1993]
    L. Chittaro, G. Guida, C. Tasso and E. Toppano, Functional and teleological knowledge in the multi-modeling approach for reasoning about physical systems: a case study in diagnosis, IEEE Transactions on Systems, Man and Cybernetics, Vol. 23, No. 6, 1993, 1718–1751Google Scholar
  2. [Reiter 1987]
    R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence, 32, 1987, 57–95Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Giovanni Guida
    • 1
  • Marina Zanella
    • 1
  1. 1.Dipartimento di Elettronica per l'AutomazioneUniversité degli Studi di BresciaBresciaItaly

Personalised recommendations