Abstract
Consistency-based diagnosis is a main research area in Model-based diagnosis. Many approaches to consistency-based diagno- need to compute the set of conflicts to generate diagnosis candidates. Possible conflicts are introduced as an alternative to dependency-record- ing engines for conflict calculation. Given a qualitative representation of system description, then search for those subsystems capable to gener- ate predictions, and hence, capable to become conflicts. We define this concept for static systems, and later on we extend the definition to deal with continuous dynamic environments. Moreover, we explain how to do consitency-based diagnosis using possible conflicts.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J. P. Cassar and M. Staroswiecki. A structural approach for the design of failure detection and identification systems. In Proc. of the IFAC-IFIP-IMACS Conference on Control of Industrial Processes, Belfort, France, 1997.
M. J. Chantler, T. Daus, S. Vikatos, and G. M. Coghill. The use of quantitative dynamic models and dependency recording engines. In Proc. of the Seventh Intl. Workshop on Principles of Diagnosis, pages 59–68, Val-Morin, Quebec, 1996. NRC-CNRC, Canada.
L. Chittaro, G. Guida, C. Tasso, and E. Toppano. Functional and teleological knowledge in the multimodeling approach for reasoning about physical systems: A case study in diagnosis. IEEE Transactions on Systems, Man and Cybernetics, 23, No. 6:1718–1751, 1993.
P. Dague, P. Devs, P. Luciani, and P. Taillibert. Analog systems diagnosis. In Proc. 9th Eur. Conf. on Artificial Intelligence, pages 173–178, Stockholm, Sweden, 1990. Also appears in Readings in Model-based Diagnosis, pg. 229–234.
A. Darwiche. Model-based diagnosis using structured system descriptions. Technical Report 97-07, Department of Mathematics American University of Beirut, 1997.
A. Darwiche and G. Provan. Exploiting system structure in model-based diagnosis of discrete-event systems. In Proc. of the Seventh Intl. Workshop on Principles of Diagnosis, pages 93–105, Val-Morin, Quebec, 1996. NRC-CNRC, Canada.
O. Dressler. On-line diagnosis and monitoring of dynamic systems based on qualitative models and dependency-recording diagnosis engines. In Proc. of the European Conference on Artificial Intelligence, ECAI96, pages 461–465. John Wiley & Sons, Ltd., 1996.
W. Hamscher, L. Console, and J. de Kleer (Eds.). Readings in Model based Diagnosis. Morgan Kaufmann, 1992.
G. Katsillis and M. J. Chantler. Can dependency-based diagnosis cope with simultaneous equations? In Proc. of the Eigth Intl. Workshop on Principles of Diagnosis, pages 51–59, Le Mont Saint Michel, France, 1997.
P. J. Mosterman. Hybrid dynamic systems: a hybrid bond graph modeling paradigm and its applications in diagnosis. Phd in electrical engineering, Vanderbilt University, Nashville, Tennessee, May 1997.
P. Nooteboom and G. B. Leemeijer. Focusing based on the structure of a model in model-based diagnosis. Int. J. Man-Machine Studies, 38:455–474, 1993.
R. Patton, P. Frank, and R. Clark. Fault Diagnosis in Dynamic Systems. Theory and Applications. Prentice Hall International, 1989.
B. Pulido and C. Alonso. Possible conflicts instead of conflicts to diagnose continuous dynamic systems. In Proceedings of the Tenth Intl. Workshop on Principles of Diagnosis, DX99, pages 234–241, Loch Awe, UK, 1999.
L. Travé-Massuyés and R. Milne. Gas-turbine condition monitoring using qualitative model-based diagnosis. IEEE Expert, pages 22–31, 1997.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pulido, B., Alonso, C. (2000). An Alternative Approach to Dependency-Recording Engines in Consistency-Based Diagnosis. In: Artificial Intelligence: Methodology, Systems, and Applications. AIMSA 2000. Lecture Notes in Computer Science, vol 1904. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45331-8_11
Download citation
DOI: https://doi.org/10.1007/3-540-45331-8_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41044-7
Online ISBN: 978-3-540-45331-4
eBook Packages: Springer Book Archive