Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10.1 6/24/83; site eosp1.UUCP Path: utzoo!watmath!clyde!burl!hou3c!hocda!houxm!mhuxj!mhuxn!mhuxl!ulysses!allegra!princeton!eosp1!robison From: robison@eosp1.UUCP (Tobias D. Robison) Newsgroups: net.ai Subject: Re: Inducxtive proof -- the heap problem Message-ID: <1131@eosp1.UUCP> Date: Wed, 19-Sep-84 17:42:49 EDT Article-I.D.: eosp1.1131 Posted: Wed Sep 19 17:42:49 1984 Date-Received: Tue, 25-Sep-84 06:18:42 EDT Organization: Exxon Office Systems, Princeton, NJ Lines: 8 References: BUT! Human beings continually reason inductively on tiny amounts of info, often two or even one case! We have some way of monitoring our results and taking back some iof the inductions that were wrong. AI has to get the hang of this some day... --- Toby Robison