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. 12th Conference on Intelligent Computer Mathematics, CICM 2019, Prague, Czech Republic, July 8-12, 2019. Published in: CICM 2019 Intelligent Computer Mathematics, 12th International Conference. 11617 227-242. Springer ISSN 0302-9743

[img] PDF - Accepted Version
Download (218kB)
[img] PDF (V1) - Accepted Version
Restricted to SRO admin only

Download (218kB)


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: Lecture Notes in Artificial Intelligenceis a sub series of Lecture Notes in Computer Science
Keywords: Representation in reasoning, heterogeneous reasoning, representation selection, representational system
Schools and Departments: School of Engineering and Informatics > Informatics
Research Centres and Groups: Creative Technology
Related URLs:
Depositing User: Lucy Arnold
Date Deposited: 15 May 2019 10:40
Last Modified: 07 Aug 2019 15:29

View download statistics for this item

📧 Request an update