Formalization of OpenCog Hyperon's MeTTa language in terms of metagraph rewrite rules
42 views
Skip to first unread message
Ben Goertzel
Apr 5, 2022, 1:13:15 AM4/5/22
to opencog, AGI
"
A meta-probabilistic-programming language for bisimulation of
probabilistic and non-well-founded type systems
Jonathan Warrell, Alexey Potapov, Adam Vandervorst, Ben Goertzel
"
https://arxiv.org/abs/2203.15970
--
Ben Goertzel, PhD
b...@goertzel.org
"My humanity is a constant self-overcoming" -- Friedrich Nietzsche
A meta-probabilistic-programming language for bisimulation of
probabilistic and non-well-founded type systems
Jonathan Warrell, Alexey Potapov, Adam Vandervorst, Ben Goertzel
"
https://arxiv.org/abs/2203.15970
--
Ben Goertzel, PhD
b...@goertzel.org
"My humanity is a constant self-overcoming" -- Friedrich Nietzsche
Reply all
Reply to author
Forward
0 new messages