[net.ai] Need Ref for "Automated Mathematician" by Doug Lenat

danny@itm.UUCP (05/20/86)

X

    I read a small article in the "IEEE Expert" magazine about Doug
Lenat's Doctoral dissertation at Stanford.  He developed a program
called "AM" (for Automated Mathematician) that produced "interesting"
formulas/relationships about numbers.

    I believe that there is a service which will reprint a thesis paper
for a fee, and USnail it.  I've no idea the name of the service.

    In short can anyone provide pointers to the thesis, or possibly,
any books which cover this or similar programs?  Specifically, I wish
to learn about programs that deal with meta-rules and meta-meta-rules,
rather than rules.

                                        Was that as clear as MUD?

                                        Danny
-- 
				Daniel S. Cox
				({siesmo!gatech|ihnp4!akgua}!itm!danny)