Title :
Formal analysis of diagnostic notions
Author_Institution :
Dept. of E-commerce, GuangDong Pharm. Univ., Guangzhou, China
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.
Keywords :
formal specification; knowledge based systems; causal interaction; diagnostic knowledge base; formal analysis; functional interaction; globe diagnostic system; local diagnostic system; structural interaction; Abstracts; Analytical models; Computational modeling; Formal theory of diagnosis; Merging of diagnostic systems; Semantics of diagnosis;
Conference_Titel :
Machine Learning and Cybernetics (ICMLC), 2012 International Conference on
Conference_Location :
Xian
Print_ISBN :
978-1-4673-1484-8
DOI :
10.1109/ICMLC.2012.6359553
