Galileo
Mathematical theories and models are fundamental to any scientific research and how we, the general public, understand the world. Changes or modifications to these theories can therefore have revolutionary implications.
To take a historical example, according to Newtonian physics, galaxies should revolve in a specific way. However when technology became available and their movements were actually tracked and measured they did not move as predicted by Newtonian physics. Therefore the theory of dark matter was postulated, to explain this unexpected movement.
The Galileo project at the School of Informatics aims to create general-purpose repair plans for resolving logical inconsistencies between conflicting theories, in situations such as this. These repair plans help to resolve discrepancies and consequently provide researchers with a more accurate model of the real world.
To find out more see:
This article was published on Dec 22, 2010