中文摘要：

计算机辅助中医辩证研究是一个热点，但是目前尚缺乏一种标准的数学语言用于描述辩证的体系架构。本文提出了一种基于形式概念分析的可视化方法，这种方法将证和证素定义为对象与属性并将它们的概念和层次关系数学化，最后利用概念格将其可视化。最后通过一个实例初步说明了将形式概念分析应用于计算机辅助中医辨证体系研究是可行的。

英文摘要：

Computer-aided syndrome differentiation of TCM is a hot spot, but currently, there is no standard mathematical language used to describe the dialectical architecture. In this paper, a visualization methods based on formal concept analysis is presented. The syndromes and syndrome elements is defined as the objects and attributes, then their concepts and the hierarchical relationships are described in mathematical language, finally their hierarchy is visualized based on concept lattice. The experimental results demonstrate the feasibility of using the formal concept analysis to computer-aided system of syndrome differentiation of TCM.