On Fri, Jun 14, 2019 at 10:55 AM Ivan V. <[email protected]> wrote:
> > The question about this post is: Does this possible isomorphism mean t > In grammar, you are given a string of symbols, and have to find how they connect. In theorem-proving, you are only given the end-points. You have to find everything in the middle. You could say that it's like parsing, except that every word in the middle of the sentence is a wild-card (could be anything) and you don't know the length of the sentence. -- 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 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/CAHrUA350GpUAecvqBr4NWop3G6dG0r5FCGu3_94e7Lvy27A%3DwA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
