TIMED OBSERVATIONS MODELLING FOR DIAGNOSIS METHODOLOGY - A Case Study

Laura Pomponio, Marc Le Goc

2010

Abstract

The TOM4D methodology is based on constructing models at the same level of abstraction that experts use to diagnose a process; thus, the resultant models are more simple and abstract allowing a more efficient diagnosis. For this purpose, the framework CommonKADS to interpret and organize the available knowledge of experts is combined with a multi-modelling approach in order to describe the knowledge. This paper complements works accomplished previously about TOM4D, introducing the combined use of Formal Logic and the Tetrahedron of States in order to build models more suitable for the diagnosis task. Formal Logic provides a logical interpretation of expert’s reasoning. The Tetrahedron of States provides a physical interpretation of the process variables and allows to exclude of the logical model those states physically impossible.

References

  1. Breuker, J. and de Velde, W. V. (1994). CommonKADS Library For Expertise Modelling. IOS Press.
  2. Chittaro, L., Guida, G., Tasso, C., and Toppano, E. (1993). 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(6):1718-1751.
  3. Chittaro, L. and Ranon, R. (1999). Diagnosis of multiple faults with flow-based functional models: the functional diagnosis with efforts and flows approach. Reliability Engineering and System Safety, 64(2):137- 150.
  4. Clancey, W. J. (1985). Heuristic classification. Report No. STAN-CS-85 1066. Also numbered KSL-85-5. Department of Computer Science. Stanford University.
  5. Dagues, P. (2001). Théorie logique du diagnostic à base de modèles. In Diagnostic, Intelligence Artificielle, et Reconnaissance des Formes. Hermes Science Publications, 17-105.
  6. Goc, M. L. and Masse, E. (2007). Towards a Multimodeling Approach of Dynamic Systems for Diagnosis. In Proceedings of the 2nd International Conference on Software and Data Technologies (ICSoft'07).
  7. Goc, M. L., Masse, E., and Curt, C. (2008). Modeling Process From Timed Observations. In Proceedings of the 3rd International Conference on Software and Data Technologies (ICSoft'08).
  8. Reiter, R. (1987). A theory of diagnosis from first principles. Artif. Intell., 32(1):57-95.
  9. Schreiber, G., Akkermans, H., Anjewierden, A., de Hoog, R., Shadbolt, N., de Velde, W. V., and Wielinga, B. (2000). Knowledge Engineering and Management: The CommonKADS Methodology. MIT Press.
  10. Zanni, C. (2004). Proposition of a Conceptual Framework for the Analysis, Classification and Choice of Knowledge Based Diagnosis Systems. These pour obtenir le grade de Docteur de l'Universit de Droit, d'Econocmie et des Sciences d'Aix-Marseille. Nro. d'dentification 04AIX30010.
Download


Paper Citation


in Harvard Style

Pomponio L. and Le Goc M. (2010). TIMED OBSERVATIONS MODELLING FOR DIAGNOSIS METHODOLOGY - A Case Study . In Proceedings of the 5th International Conference on Software and Data Technologies - Volume 2: ICSOFT, ISBN 978-989-8425-23-2, pages 504-507. DOI: 10.5220/0003005805040507


in Bibtex Style

@conference{icsoft10,
author={Laura Pomponio and Marc Le Goc},
title={TIMED OBSERVATIONS MODELLING FOR DIAGNOSIS METHODOLOGY - A Case Study},
booktitle={Proceedings of the 5th International Conference on Software and Data Technologies - Volume 2: ICSOFT,},
year={2010},
pages={504-507},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003005805040507},
isbn={978-989-8425-23-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Conference on Software and Data Technologies - Volume 2: ICSOFT,
TI - TIMED OBSERVATIONS MODELLING FOR DIAGNOSIS METHODOLOGY - A Case Study
SN - 978-989-8425-23-2
AU - Pomponio L.
AU - Le Goc M.
PY - 2010
SP - 504
EP - 507
DO - 10.5220/0003005805040507