Hi Matt, Hi Alex: First Alex: As Nil already noted, the results you posted look reasonable, except that the truth value was insane, given the code snippets you posted. I see two possibilities: -- in addition to running your rule, some other rules are running, and generating a different TV. Maybe some other rules you created and forgot to delete? Maybe some other rules in PLN? -- there is a bug in python, causing a bogus TV to be set. Seems unlikely but always possible.
Matt, Why do you say "looks nothing like what the PLN deduction rule should look like"? The point of the URE & chainers was to allow anyone to create arbitrary rule sets, with whatever formulas they wanted. Now, indeed, this particular rule might not look like a textbook-PLN rule, but it looks like a perfectly valid user-defined rule to me. (There is also an unrelated conversation about the efficiency of using URE for crisp-logic, but that is for some other discussion thread.) --linas On Fri, Jan 10, 2020 at 3:08 PM Matthew Ikle <[email protected]> wrote: > Hmmm. The code snippet I saw looks nothing like what the PLN deduction > rule should look like, but rather a heuristic that binarizes the result > perhaps for efficiency or for some specialized use case. As Linas says, Nil > might know more about why that deduction rule is coded the way it is. The > actual deduction rule would be more complex. > > —matt > > On Jan 10, 2020, at 1:55 PM, Linas Vepstas <[email protected]> wrote: > > > > On Fri, Jan 10, 2020 at 2:49 PM Alexander Gabriel <[email protected]> wrote: > >> Hi Linas! >> >> >>> This is a relatively minor point, and for a demo, scheme or python >>> formulas are sufficient, but for anything that you expect to run quickly, >>> the native formulas would be better. >>> >> >> Thanks for the tip! :) >> Do you have any idea why the formula/code fails to produce proper >> inference? That would really help me. >> > > I don't know how PLN actually works; Nil would be the expert on that. > > Strange thing is: gmail said "five new messages", so I assumed you and Nil > were talking about it. But when I clicked through, there weren't any > messages, like they just disappeared... !?? > > -- Linas > > > -- > cassette tapes - analog TV - film cameras - you > > -- > You received this message because you are subscribed to the Google Groups > "opencog" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/opencog/CAHrUA373zoPYi2A%3DBkXV4cz0BVSgDPPYsc6r14QRz3GtnXPb%2BA%40mail.gmail.com > <https://groups.google.com/d/msgid/opencog/CAHrUA373zoPYi2A%3DBkXV4cz0BVSgDPPYsc6r14QRz3GtnXPb%2BA%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > > > -- > You received this message because you are subscribed to the Google Groups > "opencog" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/opencog/6893E8F3-46C8-4F3D-8466-359A41D09DBF%40gmail.com > <https://groups.google.com/d/msgid/opencog/6893E8F3-46C8-4F3D-8466-359A41D09DBF%40gmail.com?utm_medium=email&utm_source=footer> > . > -- cassette tapes - analog TV - film cameras - you -- You received this message because you are subscribed to the Google Groups "opencog" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/opencog/CAHrUA35vSqT9d3jhGjHajP%2BNBjjS0-Gib2s8NXrQUcL9RhxL5w%40mail.gmail.com.
