[论文解读] DimDraw -- A novel tool for drawing concept lattices

Dominik Dürrschnabel, Tom Hanika+1 more|arXiv (Cornell University)|Mar 2, 2019

Rough Sets and Fuzzy Logic参考文献 5被引用 1

一句话总结

DimDraw 是一种新颖的工具，通过利用概念格的序维数，自动生成可读的人类友好的概念格图。它计算由 Ferrers 关系导出的线性扩展的最小实现实例，将概念嵌入多维空间，并将其投影到平面上——生成的图示与专家手绘版本极为相似，尤其在复杂格（如 3D S3 和反名义尺度）中表现突出。

ABSTRACT

Concept lattice drawings are an important tool to visualize complex relations in data in a simple manner to human readers. Many attempts were made to transfer classical graph drawing approaches to order diagrams. Although those methods are satisfying for some lattices they unfortunately perform poorly in general. In this work we present a novel tool to draw concept lattices that is purely motivated by the order structure.

研究动机与目标

• 为解决自动创建可读性高、质量媲美手工绘制图示的概念格图的挑战。
• 克服现有图示工具在处理复杂格时因对序结构处理不当而导致表现不佳的局限。
• 开发一种方法，利用概念格的内在序维数，以提升视觉清晰度并保持结构完整性。
• 开发一种既可泛化应用于任意有序集合，又特别针对形式概念分析而优化的工具。

提出的方法

• 通过使用最少数量的 Ferrers 关系覆盖交叉表中的空单元，计算概念格序关系的最小实现实例。
• 将 Ferrers 维数用作序维数的代理，以高效计算线性扩展。
• 基于实现实例中每个线性扩展中的排名，为每个概念分配 d 维坐标，其中 d 为序维数。
• 使用这些坐标将格嵌入 ℝ^d，通过分量序确保子概念关系得以保留。
• 应用一种复杂的从 ℝ^d 到 ℝ² 的投影，以生成可读的二维线图，投影方法将在未来工作中详细说明。
• 采用非加性、结构驱动的方法，通过平衡布局、最小化交叉和优化斜率来优先保证可读性。

实验结果

研究问题

• RQ1 仅利用序的结构性质，能否使格图绘制工具生成的视觉质量与专家手绘图相当？
• RQ2 如何有效利用概念格的序维数，以生成能保持层次关系的坐标系？
• RQ3 Ferrers 关系在多大程度上可用于计算最小实现实例，以实现高效且精确的格嵌入？
• RQ4 从高维嵌入到二维的投影，能否在保留原始格结构可读性和美学质量方面表现良好？

主要发现

• DimDraw 能够成功生成视觉上接近手绘版本的概念格图示，尤其在复杂格（如三维 S3 格）中表现优异。
• 该工具利用 Ferrers 维数计算最小实现实例，从而实现基于线性扩展的高效且精确的坐标分配。
• 对于 n 个元素的反名义尺度，其序维数为 n，DimDraw 正确生成了相应的 n 维嵌入。
• 生成的二维投影有效减少了视觉杂乱，同时保持了层次结构，其在与手绘标准的契合度上优于加性图示方法。
• 该方法具有泛化能力，不仅适用于概念格，还可应用于任何已知序维数的有限偏序集。
• 该工具已集成至 conexp-clj，表明其已实现实际部署，并正持续开发以支持更广泛的形式概念分析应用。