TY - GEN
T1 - Bisimulation-based consistency checking on syndrome Tan-Yu-Bi-Zu in rheumatoid arthritis between textbook and clinical practice
AU - Zheng, Guang
AU - Wang, Ling Ru
AU - Shi, Huan Huan
AU - Li, Rong
AU - Jiang, Miao
AU - LYU, Aiping
N1 - Publisher Copyright:
© 2015 Taylor & Francis Group, London.
PY - 2015
Y1 - 2015
N2 - Checking the consistency of knowledge items between textbook and clinical practice is very important for traditional Chinese medicine (TCM). In this study, focused on syndrome Tan-Yu-Bi-Zu in rheumatoid arthritis (RA), consistency checking is done through bisimulation, which is an equivalence relationship/method in formal methods. As a result, on syndrome Tan- Yu-Bi-Zu most knowledge items in the textbook can be simulated by the clinical practice, e.g., syndrome, symptom, herbal formula, and herbal medicine. What is more, in clinical practice there are also variations based on TCM’s basic rules. In brief, bisimulation is a proper method for consistency checking between TCM textbook and clinical practices.
AB - Checking the consistency of knowledge items between textbook and clinical practice is very important for traditional Chinese medicine (TCM). In this study, focused on syndrome Tan-Yu-Bi-Zu in rheumatoid arthritis (RA), consistency checking is done through bisimulation, which is an equivalence relationship/method in formal methods. As a result, on syndrome Tan- Yu-Bi-Zu most knowledge items in the textbook can be simulated by the clinical practice, e.g., syndrome, symptom, herbal formula, and herbal medicine. What is more, in clinical practice there are also variations based on TCM’s basic rules. In brief, bisimulation is a proper method for consistency checking between TCM textbook and clinical practices.
UR - http://www.scopus.com/inward/record.url?scp=84940770783&partnerID=8YFLogxK
U2 - 10.1201/b18418-13
DO - 10.1201/b18418-13
M3 - Conference proceeding
AN - SCOPUS:84940770783
T3 - Medicine Sciences and Bioengineering - Proceedings of the 2014 International Conference on Medicine Sciences and Bioengineering, ICMSB 2014
SP - 63
EP - 68
BT - Medicine Sciences and Bioengineering - Proceedings of the 2014 International Conference on Medicine Sciences and Bioengineering, ICMSB 2014
A2 - Wang, Mings
PB - CRC Press/Balkema
T2 - Proceedings of the 2014 International Conference on Medicine Sciences and Bioengineering, ICMSB 2014
Y2 - 16 August 2014 through 17 August 2014
ER -