Repository logo
 

Human-Like Computational Reasoning: Diagrams and Other Representations

Accepted version
Peer-reviewed

Type

Book chapter

Change log

Authors

Abstract

In this chapter I give a personal account of my experience in Alan Bundy’s DReaM group in the Department of Artificial Intelligence at the University of Edinburgh between the years of 1995 and 1998. Of course, the impact of this experience has been profound and long-lasting to this day. The culture and the nature of research work, the collaborations, the interests and the connections have endured, evolved and multiplied throughout this time. My own work in the DReaM group started by investigating human “informal” reasoning and formalising it in a diagrammatic theorem prover. After leaving Edinburgh, this work naturally evolved into combining diagrams with other representations in a uniform framework, as well as applying visual representations in other domains, such as reasoning with ontologies. But one of the fundamental questions remained unanswered, namely, how do we choose the right representation of a problem and for a particular user in the first place?

Description

Title

Human-Like Computational Reasoning: Diagrams and Other Representations

Keywords

46 Information and Computing Sciences, 4602 Artificial Intelligence

Is Part Of

Mathematical Reasoning: The History and Impact of the DReaM Group

Book type

Publisher

Springer International Publishing

ISBN

9783030778781
Sponsorship
EPSRC (GR/R76783/01)
Leverhulme Trust (RPG-2016-082)
EPSRC (EP/T019603/1)
Engineering and Physical Sciences Research Council (EP/R030650/1)