Human-Like Computational Reasoning: Diagrams and Other Representations
View / Open Files
Authors
Editors
Michaelson, Gregory
Publication Date
2021ISBN
9783030778781
Publisher
Springer International Publishing
Number
7
Pages
129-145
Type
Book chapter
Metadata
Show full item recordCitation
Jamnik, M. (2021). Human-Like Computational Reasoning: Diagrams and Other Representations. In Michaelson, Gregory. [Book chapter]. https://doi.org/10.1007/978-3-030-77879-8_7
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?
Sponsorship
EPSRC (GR/R76783/01)
Leverhulme Trust (RPG-2016-082)
EPSRC (EP/T019603/1)
Embargo Lift Date
2023-05-24
Identifiers
External DOI: https://doi.org/10.1007/978-3-030-77879-8_7
This record's DOI: https://doi.org/10.17863/CAM.81062
Statistics
Total file downloads (since January 2020). For more information on metrics see the
IRUS guide.