Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!bloom-beacon!usc!orion.cf.uci.edu!uci-ics!sarrett
From: sarrett@ics.uci.edu (Wendy Sarrett)
Newsgroups: comp.ai
Subject: Re: abduction vs. induction
Message-ID: <15245@paris.ics.uci.edu>
Date: 21 May 89 16:56:08 GMT
References: <1480@crin.crin.fr <14820@paris.ics.uci.edu> <6144@cognos.UUCP>
Sender: news@paris.ics.uci.edu
Reply-To: Wendy Sarrett <sarrett@harlie.ics.uci.edu>
Organization: University of California, Irvine - Dept of ICS
Lines: 11

The AI induction I was talking about is not the same as mathematical
induction.  In the induction I was talking about you have lots of
examples and generalize from them as opposed to saying that something
is true for all N if you can prove that if it's true for the n'th it's true
for the n + 1'st.


Wendy
(sarrett@ics.uci.edu)
Department of Information and Computer Science
University of California, Irvine