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