Great, I look forward to trying this when I get back from a brief vacation for the holiday weekend.
Edward W. Porter Porter & Associates 24 String Bridge S12 Exeter, NH 03833 (617) 494-1722 Fax (617) 494-1822 [EMAIL PROTECTED] -----Original Message----- From: Pei Wang [mailto:[EMAIL PROTECTED] Sent: Saturday, October 06, 2007 8:51 AM To: [email protected] Subject: Re: [agi] Do the inference rules of categorical logic make sense? 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/?&; ----- 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=50771487-e5f225
