Projects per year
Abstract
We argue for two points in this paper. Firstly, formal models
can be a useful means for cognitive modelling, in particular
for domains that traditionally already use this kind of model.
Secondly, we present a formal model of how two of the grounding
metaphors for arithmetic proposed by Lakoff and N´u˜nez
(2000) can be linked to basic notions of arithmetic using the
infomorphisms of the Information Flow theory.
Original language  English 

Title of host publication  Proc. of 9th Intern. Conf. on Cognitive Modeling 
Pages  258263 
Number of pages  6 
Publication status  Published  2009 
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