Inspection and selection of representations

Raggi, Daniel, Stockdill, Aaron, Jamnik, Mateja, Garcia Garcia, Grecia, Sutherland, Holly E A and Cheng, Peter C-H (2019) Inspection and selection of representations. CICM 2019: International Conference on Intelligent Computer Mathematics, Prague, Czech Republic, 8-12 July 2019. Published in: Intelligent Computer Mathemati. 11617 Springer ISBN 9783030232504

[img] PDF - Accepted Version
Download (304kB)


We present a novel framework for inspecting representations and encoding their formal properties. This enables us to assess and compare the informational and cognitive value of different representations for reasoning. The purpose of our framework is to automate the process of representation selection, taking into account the candidate representation’s match to the problem at hand and to the user’s specific cognitive profile. This requires a language for talking about representations, and methods for analysing their relative advantages. This foundational work is first to devise a computational end-to-end framework where problems, representations, and user’s profiles can be described and analysed. As AI systems become ubiquitous, it is important for them to be more compatible with human reasoning, and our framework enables just that.

Item Type: Conference Proceedings
Additional Information: This work was supported by the EPSRC Grants EP/R030650/1 and EP/R030642/1.
Keywords: Representation in reasoning · heterogeneous reasoning · representation selection · representational system
Schools and Departments: School of Engineering and Informatics > Informatics
Depositing User: Lucy Arnold
Date Deposited: 13 Aug 2019 10:38
Last Modified: 03 Jul 2020 01:00

View download statistics for this item

📧 Request an update