DocumentCode
578401
Title
Formal analysis of diagnostic notions
Author
Zhang, Xue-nong
Author_Institution
Dept. of E-commerce, GuangDong Pharm. Univ., Guangzhou, China
Volume
4
fYear
2012
fDate
15-17 July 2012
Firstpage
1303
Lastpage
1307
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Machine Learning and Cybernetics (ICMLC), 2012 International Conference on
Conference_Location
Xian
ISSN
2160-133X
Print_ISBN
978-1-4673-1484-8
Type
conf
DOI
10.1109/ICMLC.2012.6359553
Filename
6359553
Link To Document