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.

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