The aim of the project is to develop a model of symbolic theory
formulation and reformulation that takes account of recent developments
in the cognitive science of mathematics, starting from ideas
formulated by Lakatos on heuristics involved in the evolution
of mathematical theories.
"A Cognitive Model of Axiom Formulation and Reformulation
with applications to AI and Software Engineering". EPSRC grant EP/F035594/1.
Grant Duration: 3 years from 1st May 2008.
Here are the people working on this grant.
Alan Smaill: Principal Investigator at the University of Edinburgh
Andy Clark: Co-Investigator at the University of Edinburgh
Simon Colton: Principal Investigator at Imperial College London
Andrew Ireland: Principal Investigator at Heriot-Watt University
Alison Pease: Research Associate at the Univerisity of Edinburgh
Markus Guhe: Research Associate at the Univerisity of Edinburgh
Ramin Ramezani: PhD student at Imperial College London
Teresa Llano Rodriguez: PhD student at Heriot-Watt University