doi: 10.4304/jsw.9.3.536-540
Bisimulation-based Consistency Checking on Syndrome Feng-Shi-Re-Bi in Rheumatoid Arthritis
- 1 School of Information Science-Engineering, Lanzhou University, Lanzhou, 730000, China
- 2 Department of Rheumatism, The Second Affiliated Hospital of Henan university of Traditional Chinese Medicine, Zhengzhou, 450002, China
- 4 Hong Kong Baptist University School of Chinese Medicine, Kowloon Tong, Kowloon, Hong Kong
Abstract
Checking the consistency of knowledge itemsbetween textbook and clinical practice is very important fortraditional Chinese medicine (TCM). According to thetextbook of internal medicine of TCM, rheumatoid arthritis(RA) is a disease with four main syndromes (also calledpattern) and Feng-Shi-Re-Bi is a minor one and theassociated literature data are not rich. Bisimulation is anequivalence relationship/method in formal methods whichcan be used to compare the consistency of system'sdescription and its behaviors. In TCM, knowledge itemsfrom textbook can be taken as system's description, andknowledge items from clinical practice can be taken as thebehaviors of the system. For RA's Feng-Shi-Re-Bi syndrome,employing bisimulation method, the consistency ofknowledge items between textbook and clinical practicehave been checked. As a result, on Feng-Shi-Re-Bi syndrome,most knowledge items in textbook can be simulated by theclinical practice e.g., syndrome, symptom, herbal formula,herbal medicine. What's more, in clinical practice, there arealso variations based on basic rules of traditional Chinesemedicine. In brief, bisimulation is a proper method forconsistency checking between TCM textbook and clinicalpractice.
Keywords
- consistency checking
- text mining
- bisimu
How to Cite
Guang Zheng, Kai Cui, Junping Zhan, Zekun Ning, Miao Jiang, Cheng Lu, and Aiping Lu, "Bisimulation-based Consistency Checking on Syndrome Feng-Shi-Re-Bi in Rheumatoid Arthritis," Journal of Software, vol. 9, no. 3, pp. 536-540, 2014. https://doi.org/ 10.4304/jsw.9.3.536-540
Copyright & License
Copyright © 2014 by the authors. This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited (CC BY 4.0).