TY - GEN
T1 - Bisimulation-based consistency checking on Feng-Han-Shi-Bi syndrome for rheumatoid arthritis
AU - Zheng, Guang
AU - Ning, Zekun
AU - Zhan, Junping
AU - Cui, Kai
AU - Jiang, Miao
AU - Lu, Cheng
AU - LYU, Aiping
N1 - Copyright:
Copyright 2014 Elsevier B.V., All rights reserved.
PY - 2013
Y1 - 2013
N2 - Checking the consistency of knowledge items between textbook and clinical practice is very important for traditional Chinese medicine (TCM). According to the textbook of internal medicine of TCM, rheumatoid arthritis (RA) is a disease with four syndromes (also called pattern) and Feng-Han-Shi-Bi is the major one. Bisimulation is an equivalence relationship/method in formal methods which can be used to compare the consistency of system's description and its behaviors. In TCM, knowledge items from textbook can be taken as system's description, and knowledge items from clinical practice can be taken as the behaviors of the system. For RA's Feng-Han-Shi- Bi syndrome, employing bisimulation method, the consistency of knowledge items between textbook and clinical practice has been checked. As a result, on Feng-Han-Shi-Bi syndrome, most knowledge items in textbook can be simulated by the clinical practice while two others cannot be simulated e.g., Han-Re- Cuo-Za syndrome in clinical practice and Fang-Feng-Tang in textbook have no exact bisimulation items. In brief, bisimulation is a proper method for consistency check between TCM textbook and clinical practice.
AB - Checking the consistency of knowledge items between textbook and clinical practice is very important for traditional Chinese medicine (TCM). According to the textbook of internal medicine of TCM, rheumatoid arthritis (RA) is a disease with four syndromes (also called pattern) and Feng-Han-Shi-Bi is the major one. Bisimulation is an equivalence relationship/method in formal methods which can be used to compare the consistency of system's description and its behaviors. In TCM, knowledge items from textbook can be taken as system's description, and knowledge items from clinical practice can be taken as the behaviors of the system. For RA's Feng-Han-Shi- Bi syndrome, employing bisimulation method, the consistency of knowledge items between textbook and clinical practice has been checked. As a result, on Feng-Han-Shi-Bi syndrome, most knowledge items in textbook can be simulated by the clinical practice while two others cannot be simulated e.g., Han-Re- Cuo-Za syndrome in clinical practice and Fang-Feng-Tang in textbook have no exact bisimulation items. In brief, bisimulation is a proper method for consistency check between TCM textbook and clinical practice.
KW - bisimulation
KW - consistency checking
KW - rheumatoid arthritis
KW - text mining
KW - traditional Chinese medicine
UR - http://www.scopus.com/inward/record.url?scp=84901918924&partnerID=8YFLogxK
U2 - 10.1109/FSKD.2013.6816288
DO - 10.1109/FSKD.2013.6816288
M3 - Conference proceeding
AN - SCOPUS:84901918924
SN - 9781467352536
T3 - Proceedings - 2013 10th International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2013
SP - 713
EP - 717
BT - Proceedings - 2013 10th International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2013
PB - IEEE Computer Society
T2 - 2013 10th International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2013
Y2 - 23 July 2013 through 25 July 2013
ER -