thanks! as you know a group of us are working on a radical redesign (and reimplementation of large parts of) of the OpenCog system (Hyperon) , which is currently at the prototype phase.. we are guided in large part by pragmatic lessons in working w. the current OpenCog version, but we also want to clarify the theoretical foundations insofar as possible to maximize the odds that Hyperon is the OC version that gets us all the way to human-level AGI ...
In particular, the design of the Hyperon Atomese interpreter -- which needs to work effectively in conjunction w/ large distributed & decentralized Atomspaces -- presents a lot of tricky design choices and having a clear idea of the CS foundations of the cognitive algorithms we need seems like it will be helpful for guiding those choices... Of course another challenge is that we want to wrap all this mathematical subtlety in a system that is significantly more usable and approachable than the current OpenCog version, which is another sort of challenge ;) ... But AGI is not for the faint-hearted, right? ben On Sun, Jan 3, 2021 at 5:21 AM Jacques Basaldúa <[email protected]> wrote: > > 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. -- 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/CACYTDBf18iAytJywmni-1LUMB9tRdXMSx0fkc898mKVkRi-iDA%40mail.gmail.com.
