关于树形图结构的智能化研究

Research on intellectualizing of arborescence

为了促进树形图结构的智能化研究,通过引入零元的概念将树形图结构转化为格结构,证明了加入零元的树形图可在给定序关系下构成格,进而将格的有关理论引入树形图的逻辑运算中。探讨了格的有关理论在树形图结构表示、逻辑运算等方面的应用,给出了基于格论的树形图表示方法等许多相关结论。这些结论对树形图结构的智能化研究具有一定意义。

In order to further the research on intellectualizing of arborescences, lattice theory is applied on arborescences by defining zero element. At the same time, it is proved that an arborescence coith zero element is a lattice under a partially ordering relation. At last, representation of structures and logical operations on arborescences are discussed and some related properties are given. These results are important for the research on intellectualizing of arborescences.