A Paraconsistent Logic Apllied to TCM Diagnosis Based on YINYANG and WUXING Theory

Changle Zhou
2007-01-01
Abstract:In the field of traditional Chinese medicine (TCM), the theory of Yinyang and Wuxing is very broad and extensive, which is not only the theoretic basis of TCM syndrome differentiation and treatment variation but also the principle to instruct the clinical diagnosis and treatment. Therefore, the theory is of great value for TCM in both theory and practice. However, for many years, the lack of the research on the strict formalization of this theory makes it hard to come up to the development of modern TCM. But still we are able to establish a default reasoning logical system of Yinyang and Wuxing corresponding to the principle of TCM diagnosis by using the paraconsistent logic, which can be used to describe the basic reasoning procedure of TCM syndrome differentiation. Of course the system presented in this paper is far from perfect, but through the analysis of a specific diagnosis case it can be shown that the describable ability of the system is quite satisfactory.
What problem does this paper attempt to address?