SingularityNET: General Theory of General Intelligence: Specializing Maximally General AGI (6/10)
This is Episode 6 in a series of videos discussing the General Theory of General Intelligence as overviewed in the paper
Goertzel, Ben. “The General Theory of General Intelligence: A Pragmatic Patternist Perspective.”
This episode overviews some work (some quite recent and some older) formulating a general mathematical and conceptual framework for AGI algorithms — building a bridge between highly general impractical formal treatments of AGI, and practical algorithms that can actually be engineered and deployed today. Several core ideas of the OpenCog approach to AGI, and the new OpenCog Hyperon projects, are presented here in a somewhat general-purpose mathematical form.
Some additional references relevant to this episode are:
Ross, Sheldon M. Introduction to stochastic dynamic programming. Academic press, 2014.
Mu, Shin-Cheng, and José Nuno Oliveira. “Programming from Galois connections.” The Journal of Logic and Algebraic Programming 81, no. 6 (2012): 680-704.
Goertzel, Ben (2020). “Folding and Unfolding on Metagraphs.”
Jeremy Gibbons. An initial-algebra approach to directed acyclic
graphs. In International Conference on Mathematics of Program
Construction, pages 282–303. Springer, 1995.
Edward Kmett. Time for chronomorphisms. 2008.
Erik Meijer, Maarten Fokkinga, and Ross Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In Conference on Functional Programming Languages and Computer Architecture, pages 124–144. Springer, 1991.
SingularityNET is a decentralized marketplace for artificial intelligence. We aim to create the world’s global brain with a full-stack AI solution powered by a decentralized protocol.
We gathered the leading minds in machine learning and blockchain to democratize access to AI technology. Now anyone can take advantage of a global network of AI algorithms, services, and agents.