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