cicm19.pdf (213.11 kB)
Inspection and selection of representations
conference contribution
posted on 2023-06-07, 06:31 authored by Daniel Raggi, Aaron Stockdill, Mateja Jamnik, Grecia Garcia GarciaGrecia Garcia Garcia, Holly Sutherland, Peter ChengPeter ChengWe 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.
History
Publication status
- Published
File Version
- Accepted version
Journal
CICM 2019 Intelligent Computer Mathematics, 12th International ConferenceISSN
0302-9743Publisher
SpringerExternal DOI
Volume
11617Page range
227-242Event name
12th Conference on Intelligent Computer Mathematics, CICM 2019Event location
Prague, Czech RepublicEvent type
conferenceEvent date
July 8-12, 2019Series
Lecture Notes in Artificial IntelligenceDepartment affiliated with
- Informatics Publications
Research groups affiliated with
- Creative Technology Publications
Notes
Lecture Notes in Artificial Intelligenceis a sub series of Lecture Notes in Computer ScienceFull text available
- Yes
Peer reviewed?
- Yes
Legacy Posted Date
2019-05-15First Open Access (FOA) Date
2021-02-19First Compliant Deposit (FCD) Date
2019-05-13Usage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC