Bisimulation-based consistency checking on syndrome Tan-Yu-Bi-Zu in rheumatoid arthritis between textbook and clinical practice

Guang Zheng*, Ling Ru Wang, Huan Huan Shi, Rong Li, Miao Jiang, Aiping LYU

*Corresponding author for this work

Research output: Chapter in book/report/conference proceedingConference proceedingpeer-review

Abstract

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.

Original languageEnglish
Title of host publicationMedicine Sciences and Bioengineering - Proceedings of the 2014 International Conference on Medicine Sciences and Bioengineering, ICMSB 2014
EditorsMings Wang
PublisherCRC Press/Balkema
Pages63-68
Number of pages6
ISBN (Electronic)9781138026841
DOIs
Publication statusPublished - 2015
EventProceedings of the 2014 International Conference on Medicine Sciences and Bioengineering, ICMSB 2014 - Kunming, China
Duration: 16 Aug 201417 Aug 2014

Publication series

NameMedicine Sciences and Bioengineering - Proceedings of the 2014 International Conference on Medicine Sciences and Bioengineering, ICMSB 2014

Conference

ConferenceProceedings of the 2014 International Conference on Medicine Sciences and Bioengineering, ICMSB 2014
Country/TerritoryChina
CityKunming
Period16/08/1417/08/14

Scopus Subject Areas

  • Bioengineering
  • Biomedical Engineering
  • Health Informatics

Fingerprint

Dive into the research topics of 'Bisimulation-based consistency checking on syndrome Tan-Yu-Bi-Zu in rheumatoid arthritis between textbook and clinical practice'. Together they form a unique fingerprint.

Cite this