Repository logo
 

Considerations in Representation Selection for Problem Solving: A Review

Simple item page
cam.depositDate2022-01-19
cam.issuedOnline2021-09-21
dc.contributor.authorStockdill, A
dc.contributor.authorRaggi, D
dc.contributor.authorJamnik, M
dc.contributor.authorGarcia, GG
dc.contributor.authorCheng, PCH
dc.contributor.editorBasu, Amrita
dc.contributor.editorStapleton, Gem
dc.contributor.editorLinker, Sven
dc.contributor.editorLegg, Catherine
dc.contributor.editorManalo, Emmanuel
dc.contributor.editorViana, Petrucio
dc.contributor.orcidStockdill, A [0000-0003-3312-5267]
dc.contributor.orcidRaggi, D [0000-0002-9207-6621]
dc.contributor.orcidJamnik, M [0000-0003-2772-2532]
dc.contributor.orcidGarcia, GG [0000-0002-7327-7225]
dc.contributor.orcidCheng, PCH [0000-0002-0355-5955]
dc.date.accessioned2022-02-24T11:20:49Z
dc.date.available2022-02-24T11:20:49Z
dc.date.issued2021
dc.date.updated2022-01-19T21:39:37Z
dc.description.abstractChoosing 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.
dc.identifier.doi10.17863/CAM.81823
dc.identifier.isbn9783030860615
dc.identifier.urihttps://www.repository.cam.ac.uk/handle/1810/334408
dc.language.isoeng
dc.publisherSpringer International Publishing
dc.publisher.departmentDepartment of Computer Science And Technology Student
dc.publisher.departmentDepartment of Computer Science And Technology
dc.rightsAll Rights Reserved
dc.rights.urihttps://www.rioxx.net/licenses/all-rights-reserved/
dc.subjectRepresentations
dc.subjectProblem solving
dc.subjectTheorem proving
dc.titleConsiderations in Representation Selection for Problem Solving: A Review
dc.typeBook chapter
dcterms.dateAccepted2021-06-15
dcterms.isPartOfDiagrammatic Representation and Inference
prism.endingPage51
prism.publicationDate2021
prism.startingPage35
prism.volume12909 LNAI
pubs.funder-project-idEngineering and Physical Sciences Research Council (EP/R030650/1)
pubs.funder-project-idEPSRC (EP/T019603/1)
pubs.licence-display-nameApollo Repository Deposit Licence Agreement
pubs.licence-identifierapollo-deposit-licence-2-1
rioxxterms.licenseref.urihttps://www.rioxx.net/licenses/all-rights-reserved/
rioxxterms.typeBook chapter
rioxxterms.versionofrecord10.1007/978-3-030-86062-2_4

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
main.pdf
Size:
654.96 KB
Format:
Adobe Portable Document Format
Licence
https://www.rioxx.net/licenses/all-rights-reserved/
Download

Collections

Cambridge University Research Outputs