Formal analysis of diagnostic notions

Abstract

Diagnostic systems depend on knowledge bases specifying the causal, structural or functional interactions among components of the diagnosed objects. A framework of diagnostic knowledge base and diagnostic system is presented in this paper. It can specify knowledge bases and describe the notion of diagnosis nicely. Some important properties of the knowledge bases and diagnostic system are discussed. On the basis of above framework, a mathematical model for merging local diagnostic systems to build a globe diagnostic system is established.