" But AGI is not for the faint-hearted, right?" So true.
On Sun, Jan 3, 2021 at 7:34 PM Ben Goertzel <[email protected]> wrote: > 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 > . > -- 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_pmb6dXCNryKney1ezJbpo1oYbs%3D%2BcUmf87UHpx3Y0E_tc_g%40mail.gmail.com.
