Considerations in Representation Selection for Problem Solving: A Review
View / Open Files
Editors
Basu, A
Stapleton, G
Linker, S
Legg, C
Manalo, E
Viana, P
Publication Date
2021ISBN
9783030860615
Publisher
Springer International Publishing
Volume
12909 LNAI
Pages
35-51
Type
Book chapter
Metadata
Show full item recordCitation
Stockdill, A., Raggi, D., Jamnik, M., Garcia, G., & Cheng, P. (2021). Considerations in Representation Selection for Problem Solving: A Review. In Basu, A. Springer International Publishing, Diagrammatic Representation and Inference. [Book chapter]. https://doi.org/10.1007/978-3-030-86062-2_4
Abstract
Choosing how to represent knowledge effectively is a long-standing open problem. Cognitive science has shed light on the taxonomisation of representational systems from the perspective of cognitive processes, but a similar analysis is absent from the perspective of problem solving, where the representations are employed. In this paper we review how representation choices are made for solving problems in the context of theorem proving from three perspectives: cognition, heterogeneity, and computational demands. We contrast the different factors that are most important for each perspective in the context of problem solving to produce a list of considerations for developers of problem solving tools regarding representations that are appropriate for particular users and effective for specific problem domains.
Keywords
Representations, Problem solving, Theorem proving
Sponsorship
Engineering and Physical Sciences Research Council (EP/R030650/1)
EPSRC (EP/T019603/1)
Identifiers
External DOI: https://doi.org/10.1007/978-3-030-86062-2_4
This record's DOI: https://doi.org/10.17863/CAM.81823
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