SingularityNET, TrueAGI and F1R3FLY.io partner to bring Rholang concurrent processing to OpenCog Hyperon

SingularityNET and its spinoff TrueAGI.io are proud to announce an exciting latest partnership with Lucius Gregory Meredith’s company .

This collaboration goals to speed up progress toward true artificial general intelligence by integrating Meredith’s Rholang software into the OpenCog Hyperon AGI toolkit.

Rholang was founded on Meredith’s groundbreaking rho calculus mathematics. It provides incomparable sophistication for concurrent programming.

TrueAGI’s applications run on the Hyperon framework, which allows it to leverage the SingularityNET decentralized coordination fabric. Integrating Rholang into the system will enable Hyperon to totally leverage the facility of contemporary multiprocessor architectures.

This partnership will fast-track the event of a scalable high-speed interpreter for Hyperon’s Meta-Type-Talk (MeTTa) language. In turn, MeTTa fully leverages concurrent processing and is fully blockchain ready, via the incorporation of Rholang on the back end.

Let’s dive into a number of the particulars underlying this critical technical leap for the OpenCog project.

Meredith’s Rholang language was designed because the centerpiece and smart contract language of the RChain blockchain. Nonetheless, the language itself has value and importance outside of any particular blockchain architecture, and indeed beyond the context of blockchain networks.

The mathematical core of the Rholang language is Meredith’s “rho calculus”, or “Reflective Higher-Order” process calculus. This represents a big step beyond the pi calculus formalism for modeling concurrent processes used because the early Nineties.

To get a bit more technical: Not only does the rho calculus satisfy the 4 desired blockchain properties of completeness, compositionality, concurrency, and complexity. It also achieves an extra property called reflection.

Reflection allows a program to examine or operate on itself by modifying its data to create a more recent version of itself, thus enabling true metaprogramming — a obligatory component for any real AGI.

The pi calculus is powerful but doesn’t incorporate reflection at the basic level. This makes it awkward for formalizing various styles of complex concurrent processes, like self-organizing biological systems or AGI systems.

The MeTTa language is the native language of Atomspace, allowing human-readable representation and creation of Atomspace structures.

The MeTTa programming language interpreter provides long-term memory, resides largely in, and plays a central role in Hyperon. By integrating Rholang to speed up MeTTa’s performance on multiprocessor machines, tremendous speed improvements might be achieved in Hyperon’s performance.

That is complementary to other speedup strategies being pursued, akin to the Metagraph Pattern-Matching Chip and AGI board being co-developed by TrueAGI and Simuli.ai.

Putting these various accelerations together, SingularityNET will create a Hyperon implementation that’s hyper-efficient in the identical sense that modern GPUs and associated software libraries provide hyper-efficient implementations of deep neural nets and other matrix multiplication-based AI algorithms.

The recent successes of deep neural nets have largely been because of the rise of GPUs and multi-GPU machines, which allowed two critical achievements:

• Accelerated execution of long familiar neural architectures.
• Accelerated experimentation with latest variants of those.

We imagine that the mixture of Hyperon accelerants that we at the moment are developing can serve an identical accelerative role for multi-paradigm integrative AGI, and supply more key ingredients to the novel tech stack we’re constructing to support the creation of a helpful and decentralized Technological Singularity.