Jesus... On Sat, Apr 8, 2017 at 2:24 AM, Jesús López <[email protected]> wrote: > Coecke semantic functor definition, however, hardly needs any > modification if we use as target the compact closed category of > modules over a fixed semiring. If the semiring is that of booleans, we > are talking about the category of relations between sets, with Pierce > relational product (uncle = brother * father) expressed with the same > matrix product formula of linear algebra, and with cartesian product > as the tensor product that makes it monoidal. > > The idea is that when Coecke semantic functor has as codomain the > category of relations, one obtains Montague semantics. More exactly, > when one applies the semantic functor to a pregroup grammar parse > structure of a sentence, one obtains the lambda term that Montague > would have attached to it.
Ah, I see.... That's actually very nice... The semiring could also be a non-Boolean algebra of relations on graphs or hypergraphs, I think... like the ones I talk vaguely about there... https://arxiv.org/abs/1703.04382 -- Ben Goertzel, PhD http://goertzel.org "I am God! I am nothing, I'm play, I am freedom, I am life. I am the boundary, I am the peak." -- Alexander Scriabin -- 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/CACYTDBfZ7TR76YLLTUF5ovzU%3DC-amf%3D_FYXpmjyjRtOREFP1kg%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
