Linas, On 09/03/2016 04:59 AM, Linas Vepstas wrote:
However, I feel an area where something similar to linear logic, etc, might be very worthwhile thinking of is in estimating how much evidences inference traces have in common, as to have the revision rule work correctly. This is kinda the only way I manage to relate these barely-understandable-word-soup-sounding-to-me abstract proposals to PLN. Would really love to look deep into that once it becomes more prioritized though.OK, so in the blog post, at what point did things get too abstract, and too hard to follow?
The blog is clear and I believe I understood it well, and agree with it. The only confusing part was when you mentioned the closed monoidal category, etc. I tried to quickly understand it but it seems it would suck me into layers of hyperlinks before I can get it. BTW, I would be happy to spend a week reading a book on category theory, I'm just not sure it's the best use of my time right now. But maybe it is, before re-implementing the BC, not sure.
Nil
--linas
-- 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 post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/opencog. To view this discussion on the web visit https://groups.google.com/d/msgid/opencog/57CD208A.9060805%40gmail.com. For more options, visit https://groups.google.com/d/optout.
