23 citations · 81 across the 23 of their papers we have counts for
24 papers
Meta-MeTTa: an operational semantics for MeTTa
Lucius Gregory Meredith, Ben Goertzel, Jonathan Warrell +1
We present an operational semantics for the language MeTTa.
A meta-probabilistic-programming language for bisimulation of probabilistic and non-well-founded type systems
Jonathan Warrell, Alexey Potapov, Adam Vandervorst +1
We introduce a formal meta-language for probabilistic programming, capable of expressing both programs and the type systems in which they are embedded. We are motivated here by the…
Reflective Metagraph Rewriting as a Foundation for an AGI "Language of Thought"
Ben Goertzel
MeTTa (Meta Type Talk) is a novel programming language created for use in the OpenCog Hyperon AGI system. It is designed as a meta-language with very basic and general facilities f…
Architecture of Automated Crypto-Finance Agent
Ali Raheman, Anton Kolonin, Ben Goertzel +2
We present the cognitive architecture of an autonomous agent for active portfolio management in decentralized finance, involving activities such as asset selection, portfolio balan…
The General Theory of General Intelligence: A Pragmatic Patternist Perspective
Ben Goertzel
A multi-decade exploration into the theoretical foundations of artificial and natural general intelligence, which has been expressed in a series of books and papers and used to gui…
Patterns of Cognition: Cognitive Algorithms as Galois Connections Fulfilled by Chronomorphisms On Probabilistically Typed Metagraphs
Ben Goertzel
It is argued that a broad class of AGI-relevant algorithms can be expressed in a common formal framework, via specifying Galois connections linking search and optimization processe…