Formalizing Reasoning with Visual and Diagrammatic Representations:
Papers from the AAAI Fall Symposium
Gerard Allwein, Kim Marriott and Bernd Meyer, Cochairs
Visual and diagrammatic notations hold huge potential for many areas of computer science. However, this potential is, as yet, largely unrealized. Despite a revived and growing interest in visual representations in many fields, there is little underlying theory and methodology to support the use of such notations, because most existing research has been very application specific. The formalization of reasoning with visual representations is an extremely difficult task, requiring a synthesis of complex representational and computational aspects as well as cognitive aspects. It can therefore serve as a touchstone for our understanding of visual representations. The primary aim of this symposium is to strengthen the dialogue among the diverse and now largely isolated communities involved in the theory of visual representations and to merge related streams of research from the various communities, such as diagrammatic reasoning, visual language theory, qualitative spatial reasoning, and related subfields of HCI, logic, and linguistics.