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)