SOAR: an architecture for general intelligence
Artificial Intelligence
Changes of Problem Representation: Theory and Experiments
Changes of Problem Representation: Theory and Experiments
Towards a practical theory of reformulation for reasoning about physical systems
Artificial Intelligence - Special volume on reformulation
Human Problem Solving
Explaining the ineffable: AI on the topics of intuition, insight and inspiration
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Showing the non-existence of solutions in systems of linear Diophantine equations
Mathematics and Computers in Simulation
New methods for proving the impossibility to solve problems through reduction of problem spaces
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |
This paper deals with a computer programme offering a valid simulation of cognitive human processes related to representation changes while problem solving. An introductory and brief recollection of preceding contributions by psychologists, cognitive scientists and AI researchers provides the necessary background and motivation for our work. A relevant trend of the present research concerns the formal mathematical study of representation phenomena, including precisions about isomorphic and homomorphic representation changes. In order to simplify problem resolution processes, the implemented system performs certain representation changes, by making use of specific procedures which assign and modify a certain relevance value to every attribute involved in the problem representation, on behalf of their respective importance so as to actually solve the problem. The paper includes a full account of mathematical definitions and propositions involved in this system.