BACON
BACON, a program for discovering laws from data by applying heuristics, has discovered Kepler's law of planetary motion, Gallileo's law of uniform acceleration, and Ohm's law of electrical resistance.
Pat Langley, Herbert Simon, Gary Bradshaw & Jan Zytkow (1987).
Note: The history of the BACON program is complex and extends back into the 1960s.