Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!decvax!bellcore!ulysses!mhuxr!mhuxn!ihnp4!houxm!whuxl!whuxlm!akgua!gatech!itm!danny
From: danny@itm.UUCP
Newsgroups: net.ai
Subject: Need Ref for "Automated Mathematician" by Doug Lenat
Message-ID: <210@itm.UUCP>
Date: Tue, 20-May-86 10:06:59 EDT
Article-I.D.: itm.210
Posted: Tue May 20 10:06:59 1986
Date-Received: Thu, 22-May-86 06:25:10 EDT
Reply-To: danny@itm.UUCP (Daniel S. Cox)
Distribution: na
Organization: In Touch Ministries  Atlanta, GA
Lines: 21

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)