Projects per year
Abstract
We show how heuristicdriven theory projection (HDTP, a
method based on higherorder antiunification) can be used to
model analogical reasoning in mathematics. More precisely,
HDTP provides the framework for a model of the inductive
analogymaking process involved in establishing the fundamental
concepts of arithmetic. This process is a crucial component
for being able to generalise from the concrete experiences that
humans have due to their embodied and embedded nature. Such
generalisations are a cornerstone of the ability to create an abstract
domain like arithmetic. In addition to generalisations,
HDTP can also transfer concepts from one domain into another,
which is, for example, needed to introduce the concept
Z E RO into arithmetic. The approach presented here is closely
related to the theories of Information Flow and Institutions.
The latter in particular provides a compelling way to integrate
concept blending into the HDTP approach.
Original language  English 

Title of host publication  Proceedings of the 32nd Annual Conference of the Cognitive Science Society 
Pages  19921997 
Number of pages  6 
Publication status  Published  2010 
Projects
 1 Finished

CogMod: A congnitive model of axiom formulation and reformulation with application to AI and software engineering
Smaill, A. & Clark, A.
1/05/08 → 30/04/11
Project: Research