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