[FOM] Automating the formulation of definitions

[Cris Perdue]

A person interested in this area might well wish to look at Doug Lenat's AM
(Automated Mathematician) system.  See for example
https://en.wikipedia.org/wiki/Automated_Mathematician. AM is notable as a
"discovery system" and specifically seeking to discover mathematical
concepts. I do not believe there is a great deal of active research in this
area.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20160621/d8060cbb/attachment-0001.html>