Nice work Linas!  Indeed this correspondence was always conceptually
clear, but it's good to see it worked out in detail for the first
time...

On Sat, Jul 16, 2022 at 9:33 AM Linas Vepstas <[email protected]> wrote:
>
> Alas, I attached a PDF that contains errors, instead of a URL to a PDF where 
> the latest and greatest version can be found. So -- a mistake is fixed, and 
> additional clarification is provided. The presentation is now much stronger. 
> Here:
> https://github.com/opencog/atomspace/raw/master/opencog/sheaf/docs/ccg.pdf
>
> On Thu, Jul 14, 2022 at 1:13 PM Linas Vepstas <[email protected]> wrote:
>>
>> The relationship between different grammar formalisms is almost always 
>> cloudy and opaque. Sometimes, it's how the grammar is formalized, sometimes, 
>> it's the notation.
>>
>> In the case of Combinatory Categorial Grammar, it's the notation. After a 
>> minor, almost trivial restructuring of the notation, it can be seen to be 
>> equivalent to Link Grammar.  See attached PDF.
>>
>> Thanks to Adam Vandervorst, who raised this in an OpenCog Discord chat 
>> discussion. I've long known of this equivalence, having sensed it by 
>> gut-feel. However, having to actually write it out, in detail, to make it 
>> convincing to others, was ... educational.
>>
>> -- Linas
>>
>> --
>> Patrick: Are they laughing at us?
>> Sponge Bob: No, Patrick, they are laughing next to us.
>>
>>
>
>
> --
> Patrick: Are they laughing at us?
> Sponge Bob: No, Patrick, they are laughing next to us.
>
>
> --
> 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/CAHrUA36QWsN1j-apJsZL9w4EEqb5CZFLwoXbsW%3DAc11oO3pZ-w%40mail.gmail.com.



-- 
Ben Goertzel, PhD
[email protected]

"My humanity is a constant self-overcoming" -- Friedrich Nietzsche

-- 
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/CACYTDBdw6dCcyVfZNLPX2M0cZQmfByS5Joh26G%2BP7X%3D8iNRaLQ%40mail.gmail.com.

Reply via email to