Ikle', Matthew
OpenCog Hyperon: A Framework for AGI at the Human Level and Beyond
Goertzel, Ben, Bogdanov, Vitaly, Duncan, Michael, Duong, Deborah, Goertzel, Zarathustra, Horlings, Jan, Ikle', Matthew, Meredith, Lucius Greg, Potapov, Alexey, de Senna, Andre' Luiz, Suarez, Hedra Seid Andres, Vandervorst, Adam, Werko, Robert
An introduction to the OpenCog Hyperon framework for Artificiai General Intelligence is presented. Hyperon is a new, mostly from-the-ground-up rewrite/redesign of the OpenCog AGI framework, based on similar conceptual and cognitive principles to the previous OpenCog version, but incorporating a variety of new ideas at the mathematical, software architecture and AI-algorithm level. This review lightly summarizes: 1) some of the history behind OpenCog and Hyperon, 2) the core structures and processes underlying Hyperon as a software system, 3) the integration of this software system with the SingularityNET ecosystem's decentralized infrastructure, 4) the cognitive model(s) being experimentally pursued within Hyperon on the hopeful path to advanced AGI, 5) the prospects seen for advanced aspects like reflective self-modification and self-improvement of the codebase, 6) the tentative development roadmap and various challenges expected to be faced, 7) the thinking of the Hyperon team regarding how to guide this sort of work in a beneficial direction ... and gives links and references for readers who wish to delve further into any of these aspects.
Embedding Vector Differences Can Be Aligned With Uncertain Intensional Logic Differences
Goertzel, Ben, Duncan, Mike, Duong, Debbie, Geisweiller, Nil, Seid, Hedra, Semrie, Abdulrahman, Leung, Man Hin, Ikle', Matthew
The DeepWalk algorithm is used to assign embedding vectors to nodes in the Atomspace weighted, labeled hypergraph that is used to represent knowledge in the OpenCog AGI system, in the context of an application to probabilistic inference regarding the causes of longevity based on data from biological ontologies and genomic analyses. It is shown that vector difference operations between embedding vectors are, in appropriate conditions, approximately alignable with "intensional difference" operations between the hypergraph nodes corresponding to the embedding vectors. This relationship hints at a broader functorial mapping between uncertain intensional logic and vector arithmetic, and opens the door for using embedding vector algebra to guide intensional inference control.