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 <linasveps...@gmail.com> wrote: > > > > On Fri, Jan 10, 2020 at 2:49 PM Alexander Gabriel <goo...@4d6.de > <mailto:goo...@4d6.de>> 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 opencog+unsubscr...@googlegroups.com > <mailto:opencog+unsubscr...@googlegroups.com>. > 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 opencog+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/opencog/6893E8F3-46C8-4F3D-8466-359A41D09DBF%40gmail.com.
