Thanks for the great reading, Ben. It is amazing how much work and thought you are putting into the foundations of opencog. I confess that I wasn't familiarized with the idea of paraconsistent logic and it helps understanding the brittleness of something too logic based. Carry on with the great work.
Jacques. On Sat, Jan 2, 2021 at 8:45 PM Ben Goertzel <[email protected]> wrote: > To kick off the new year ... here is Part 2 of a trilogy of papers I'm > working on ... > > > https://arxiv.org/abs/2012.14474 > > this one grounds (key aspects of) PLN in paraconsistent logic, and > thus makes clearer the programming-language Curry-Howard cognate of > PLN (via the known prog-lang cognate of relevant sorts of > paraconsistent logic). Also some other related stuff like > paraconsistent Formal Concept Analysis... > > Part 3 (another paper) will sketchily represent the core OpenCog > cognitive algorithms as Galois connections involving > continuation-passing-style metagraph chronomorphisms , where the > metagraph targets are labeled w/ probabilistic/paraconsistent > dependent types as outlined in Part 2 ... > > But I will defer starting on that till I finish some work on the SNet > roadmap and related issues ... > > > -- > Ben Goertzel, PhD > http://goertzel.org > > “Words exist because of meaning; once you've got the meaning you can > forget the words. How can we build an AGI who will forget words so I > can have a word with him?” -- Zhuangzhi++ > > -- > 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/CACYTDBc1z%2B7CV8nMBXc5JCS6ESjVSBvF1kt0Fc0W52nkcEAWaA%40mail.gmail.com > . > -- 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/CA%2B_pmb5JZ9qOn6du6K2XJpRNmY6hSOJ_34npfgUgLgmyh_Uxkg%40mail.gmail.com.
