A Way to Lay Out Argument Maps

Abstract

Forfatteren har gjennomført et masterprosjekt i samarbeid med Disputas AS, en norsk oppstartsbedrift som spesialiserer seg innen visualisering av uformell logikk. Målet med prosjektet var å utvikle en graflayoutalgoritme spesifikt tilpasset argumentasjonsdiagrammer. Resultatet av prosjektet er Argumappr, som oppfyller de fleste av de spesifiserte kravene. Det er et bibliotek for automatisk generering av graflayouter som støtter argumentasjonsdiagrammer. Det tilbyr også datastrukturene som er nødvendige for å representere dem. Forfatteren presenterer prosjektet, datastrukturene og algoritmen. Algoritmen genererer layouter ved å benytte det velkjente Sugiyama-rammeverket for lagbasert graftegning. Den baserer seg på etablert graftegningslitteratur og implementerer forskjellige tilpassede delalgoritmer for hver av de fire Sugiyama-trinnene: syklusfjerning, laginndeling, krysningsminimering og kantutretting. Forfatterens analyse antyder en total kjøretid på O(|V|^4 + n^k), der n er en funksjon av V og E, og 1 < k i R. Det anbefales ytterligere testing og raffinering. Så vidt forfatteren vet, er anvendelsen av graftegningslære til å tegne argumentasjonsdiagrammer nytt, og han håper å inspirere til videre utforskning av dette feltet.

The author has undertaken a master's project in collaboration with Disputas AS, a Norwegian tech startup specialising in the graphing of informal logic. The goal of the project was to produce a graph layout algorithm specifically tailored to argument maps. The resulting product is Argumappr, which fulfils most of the specified requirements. It is a library for automatic graph layout generation that supports argument diagrams. It also provides the data structures necessary to represent them. The author presents the project, the data structure and the algorithm. The algorithm generates layouts by utilising the well-known Sugiyama framework for layered graph drawing. It borrows heavily from established graph drawing literature and implements various customised sub-algorithms for each of the four Sugiyama steps: cycle removal, node layering, crossing minimisation and edge straightening. The author's analysis suggests a total running time of O(|V|^4 + n^k), where n is some function of V and E, and 1 < k in R. Additional testing and refinements are recommended. To the author's knowledge, the application of graph drawing theory to drawing argument maps is novel, and he hopes to inspire further inquiry into this field.