Representing and Generating Curve-based Diagrams
- Speaker: Dr. Andrew Fish (University of Brighton. U.K.)
- Host: Ian Pratt-Hartmann
- 13th November 2013 at 14:00 in Lecture Theatre 1.4
The EPSRC funded project Automatic Diagram Generation aims to build a unified framework for the automatic generation of mixed-type diagrams arising as the integration of Euler diagrams, knot diagrams, and graphs. The intent is to bring theoretical benefits via methods which make use of commonality of abstraction, together with practical-oriented benefits in terms of generic tool support for areas such as diagrammatic logics, or ontology and network visualisations. The talk will primarily discuss a new encoding for Euler diagrams, adapting the notion of Gauss Paragraphs for knot diagrams, providing a richer abstraction than has been previously considered, encapsulating the structure of the diagram, whilst also providing generation machinery. We provide a further connection between knots and Euler diagrams via the construction of rewriting methods which, for example, yield a family of Brunnian links which project to Edwards' construction of Venn diagrams. The talk should be accessible, containing examples demonstrating the underlying algorithmic procedures. A live demo of the associated software, which integrates theories about knots and Euler diagrams, whist utilising existing graph drawing libraries, may even be provided.