math discovery

[Sergio Navega]

Gerry Wolff wrote:
>
>Chuck Carlson wrote:
>> 
>> Hello all,
>> 
>> Does anyone have any comment or know of resources regarding automated
>> math discovery
>> involving the principles of compression and/or entropy?
>> 
>
>I think the book I had in mind by Pat Langley was one of these three:
>
>Computational Models of Scientific Discovery and Theory Formation
>(Morgan Kaufman Series in Machine Learning) Jeff Shrager(Editor), Pat
>Langley (Editor), Morgan Kaufmann, 1990.
>
>Concept Formation: Knowledge and Experience in Unsupervised Learning
>(Morgan Kaufmann Series in Machine Learning) Pat Langley(Editor) et al,
>Morgan Kaufmann, 1991.
>
>Scientific Discovery: Computational Explorations of the Creative
>Processes, Pat Langley et al, MIT Press, 1987.
>
>I think the one from 1991 is the most likely to have something in it
>about discovery of maths concepts.
>
>Thanks to Amazon.com for the excellent database of books, including ones
>that are out of print!
>


Gerry,
I was able to find the first book you cited staring at me in my shelf.
It is in my reading list for months. On a fast browsing, I recalled
another item of interest: Pat Langley's BACON system.

Chuck, some names of systems mentioned in that book may help in 
a Web search: GLAUBER, STAHL, PHINEAS, COAST, HYPGENE, KEKADA and IDS.

It is amazing the amount of research already done in that area. As 
a final comment, besides getting the first book that Gerry recommended, 
take this one:

Induction: Processes of inference, learning and discovery
Holland, Holyoak, Nisbett & Thagard

Regards,
Sergio Navega.