Homomorphisms between problem spaces

Brancaccio, Andrea and Stefanutti, Luca (2024) Homomorphisms between problem spaces. Journal of Mathematical Psychology, 123. ISSN 0022-2496

[thumbnail of Brancaccio_Stefanutti_Homomorphisms_between_problem_spaces_2024_JoMP_Final]
Preview
PDF (Brancaccio_Stefanutti_Homomorphisms_between_problem_spaces_2024_JoMP_Final) - Published Version
Available under License Creative Commons Attribution Non-commercial No Derivatives.

Download (16MB) | Preview

Abstract

In procedural knowledge space theory (PKST), a “problem space” is a formal representation of the knowledge that is needed for solving all of the problems of a certain type. The competence state of a real problem solver is a subset of the problem space which satisfies a specific condition, named the “sub-path assumption”. There could exist specific “symmetries” in a problem space that make certain parts of it “equivalent” up to those symmetries. Whenever an equivalence relation is introduced for elements in a problem space, the question almost naturally arises whether the collection of the induced equivalence classes forms, itself, a problem space. This is the main question addressed in the present article, which is restated as the problem of defining a homomorphism of one problem space into another problem space. Two types of homomorphisms are examined, which are named the “strong” and the “weak homomorphism”. The former corresponds to the usual notion of “operation preserving mapping”. The latter preserves operations in only one direction. Two algorithms are developed for testing the existence of homomorphisms between problem spaces. The notions and algorithms are illustrated in a series of three examples in which quite well-known neuro-psychological and cognitive tests are employed.

Item Type: Article
Uncontrolled Keywords: homomorphism,human problem-solving,knowledge space,problem space,procedural knowledge,psychology(all),applied mathematics ,/dk/atira/pure/subjectarea/asjc/3200
Faculty \ School: Faculty of Social Sciences > School of Psychology
Related URLs:
Depositing User: LivePure Connector
Date Deposited: 16 Dec 2025 16:30
Last Modified: 16 Dec 2025 16:30
URI: https://ueaeprints.uea.ac.uk/id/eprint/101437
DOI: 10.1016/j.jmp.2024.102888

Downloads

Downloads per month over past year

Actions (login required)

View Item View Item