一种应用于中医阴阳五行诊断学说的次协调逻辑(英文)

中医阴阳五行学说博大情深,是中医辨证论治的理论基础,也是指导中医临床诊断与治疗的基本原理,因此对于中医的理论与实践都有着十分重要的价值。但长期以来,一直缺乏对该学说进行严格的形式化研究,使之难以与不断发展中的中医现代化进程相适应。本文就是在这一学说核心内容的基础上,介绍引入次协调逻辑、缺省推理逻辑等先进逻辑来与中医诊断学结合的思想和方法,这样的目的是为今后构造一种符合中医诊断原则的中医阴阳五行推演逻辑系统作准备,该逻辑系统将用来描述基本的中医辨证推演过程。

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

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.