Translator Disclaimer
6 March 2002 Fusing diagnosis knowledge components
Author Affiliations +
In this paper, the problem of fusing logic-based technical specification -or model-based diagnosis- knowledge components of a physical device or process, is investigated. It is shown that most standard logic approaches to beliefs fusion are not relevant in this context since some rules should be merged even in the case of a consistent fusion. Accordingly, we discuss the various types of formulas that should be merged during a fusion process, in order to avoid necessary conditions for the absence of failure to become sufficient conditions. This transformation is then described formally. It can be performed as an efficient preprocessing step on the knowledge components to be fused. Finally, a series of subsumption tests are proposed, preventing conditions of absence of failure from being overridden by subsumption.
© (2002) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Eric Gregoire "Fusing diagnosis knowledge components", Proc. SPIE 4731, Sensor Fusion: Architectures, Algorithms, and Applications VI, (6 March 2002);


Multilevel qualitative reasoning in CMOS circuit analysis
Proceedings of SPIE (March 01 1991)
Fusion under the closed-world assumption
Proceedings of SPIE (March 22 2001)
Reference And Description In Natural Language
Proceedings of SPIE (March 29 1988)
Special simulator to study metastability
Proceedings of SPIE (August 23 2000)

Back to Top