ABSTRACT
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.
