On 10/6/07, Pei Wang <[EMAIL PROTECTED]> wrote:
> On 10/6/07, Edward W. Porter <[EMAIL PROTECTED]> wrote:
> >
> > So is the following understanding correct?
> >
> > If you have two statements
> >
> > Fred is a human
> > Fred is an animal
> >
> > And assuming you know nothing more about any of the three terms in both
> > these statements, then each of the following would be an appropriate
> > induction
> >
> > A human is an animal
> > An animal is a human
> > A human and an animal are similar
>
> Correct, though for technical reasons I don't call the last one
> "induction" but "comparison".

BTW, in the future you can easily try it yourself, if you want:

(1) start the NARS demo by clicking http://nars.wang.googlepages.com/NARS.html
(2) open the inference log window by select "View/Inference Log" from
the main window
(3) copy/paste the following two lines into the input window:

<Fred {-- human>.
<Fred {-- animal>.

then click OK.
(4) click "Walk" in the main window for a few times. For this example,
in the 5th step the three conclusions you mentioned will be produced,
with a bunch of others.

There is a User's Guide for the demo at
http://nars.wang.googlepages.com/NARS-Guide.html

Pei

-----
This list is sponsored by AGIRI: http://www.agiri.org/email
To unsubscribe or change your options, please go to:
http://v2.listbox.com/member/?member_id=8660244&id_secret=50769241-903319

Reply via email to