Hi, some links on the (still early stage and in work-in-progress) Hyperon design are here
https://wiki.opencog.org/w/Hyperon We are aiming to get a more concrete and summarized initial set of Hyperon design documents ready by sometime this summer. There are two key aspects here (not in any special order) 1) A distributed Atomspace (which will also, layered on SNet platform, be the foundation a decentralized Atomspaces) 2) An "Atomese 2" language , consisting of a set of Atom types for use in the Atomspace metagraph (with the flexibility to specify sub-metagraphs practically usable as programs, among other capabilities), plus some syntactic sugar for human use and a corresponding interpreter You have seen some of our thinking on Distributed Atomspace, and as I recall in our last discussion on this you said you had some critiques in mind but didn't offer them in detail. Regarding Atomese 2, a bunch of Alexey's notes linked in the above, as well as some of my recent theoretical papers posted on Arxiv such as "Paraconsistent Foundations", "Folding and Unfolding on Metagraphs" and "Patterns of Cognition" are oriented toward fleshing out what type systems and processes Atomese 2 needs to be able to handle efficiently. BTW the structures used in "Folding and Unfolding on Metagraphs" (which are implicitly there in the infrastructure assumed in the other 2 papers) are closely related to your metagraph sheaves/germs structures (as explicitly noted in the references to that paper). My recent paper "General Theory of General Intelligence" tries to tie these specifics into broader notions of "what is general intelligence" ... coming both from formal AGI theory (Hutter etc.) and cognitive sicence So a major initial thrust of discussion in these AGI Discussion sessions will be, in essence, "What does an AGI programming language need to be to support an AGI approach like Hyperon?" ... i.e. because we are in the process of thinking through what Atomese 2 needs to be. Obviously all your work on the current OpenCog Atomspace is an extremely important inspiration and ingredient here (and I note, as a side comment, we are using current OpenCog in the Awakening Health project as part of the dialogue and control system for the Grace eldercare robot...) -- Ben On Sat, Apr 17, 2021 at 7:50 AM Linas Vepstas <[email protected]> wrote: > > Hi Ben, > > Perhaps a description of what Hyperon is would be appropriate. > > -- Linas > > On Fri, Apr 16, 2021 at 8:28 PM Ben Goertzel <[email protected]> wrote: >> >> Hi all, >> >> We are going to start doing biweekly 90-min discussion sessions via >> video-chat, focused on topics related to OpenCog Hyperon... >> >> First one will be April 30, early AM US Pacific time; see >> >> https://wiki.opencog.org/w/AGI_Discussion_Forum >> >> for current and updated info on the discussion forum series... >> >> thanks! >> Ben >> >> -- >> Ben Goertzel, PhD >> http://goertzel.org >> >> “He not busy being born is busy dying" -- Bob Dylan >> >> -- >> 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/CACYTDBdEsuB%2BPzcrUM2_SXDxXF%3Dbn9gruJxsFpO7YLzRWV0EoQ%40mail.gmail.com. > > > > -- > 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/CAHrUA35%3D0ZiFjtmW5dwfs%2BqOZuKwW6Vg69JAEc2DR6vcp%3D68tw%40mail.gmail.com. -- Ben Goertzel, PhD http://goertzel.org “He not busy being born is busy dying" -- Bob Dylan -- 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/CACYTDBcdhdKWGeCJjywjMr_JCh%2BpUsg3hA7umQxY7M4-gOKjmw%40mail.gmail.com.
