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. Springer International Publishing, Mathematical Reasoning: The History and Impact of the DReaM Group. [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.
Recommended or similar items
The current recommendation prototype on the Apollo Repository will be turned off on 03 February 2023. Although the pilot has been fruitful for both parties, the service provider IKVA is focusing on horizon scanning products and so the recommender service can no longer be supported. We recognise the importance of recommender services in supporting research discovery and are evaluating offerings from other service providers. If you would like to offer feedback on this decision please contact us on: support@repository.cam.ac.uk