On Wed, Feb 26, 2020 at 10:20 PM 'Nil Geisweiller' via opencog < [email protected]> wrote:
> > > BTW, the URE, really is just a way to form complex pattern matcher > queries, at least the backward chainer is exactly that. Ohh! So that is what the unifier is doing? Gluing together a bunch of different rules, and then, I guess, running one giant pattern in the pattern matcher? Oh, that's interesting! I never quite understood what is going on, under the covers, and never quite recall reading any clear explanation. > I think this is another case for introducing Boolean Value, separated > from Simple Truth Value, > Yes. This was discussed in https://github.com/opencog/atomspace/issues/2004 I don't think we got to the tipping point, where it's urgently needed. (that is, there were side issues that made it complicated). I'm also thinking about what I wrote for syntactic vs. semantic so I'm happy to keep that issue cooking in the oven a while longer. --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/CAHrUA35%3D2WbENOy%3DbaPB6TqFt5c5ux-J0uJXn%3DRPiXg_r3hODQ%40mail.gmail.com.
