AGi Discussion Forum sessions -- semantic primitives (Mar 18) and formalization of MeTTa (April 8)

78 views
Skip to first unread message

Ben Goertzel

unread,
Mar 14, 2022, 10:37:24 AM3/14/22
to opencog, AGI
The next couple AGI Discussion Forum sessions:

https://wiki.opencog.org/w/AGI_Discussion_Forum#Sessions

March 18, 2022, 7AM-8:30AM Pacific time: Ben Goertzel leading
discussion on semantic primitives ,
https://singularitynet.zoom.us/my/benbot . Background:
https://bengoertzel.substack.com/p/can-all-human-concepts-be-reduced?s=w

April 8, 2022, 7AM-8:30AM Pacific time: Jonathan Warrell on "A
meta-probabilistic-programming language for bisimulation of
probabilistic and non-well-founded type systems" (aka an elegant
general math formulation underlying MeTTa language) ...
https://singularitynet.zoom.us/my/benbot . Background material: To be
posted


-- ben

--
Ben Goertzel, PhD
b...@goertzel.org

"My humanity is a constant self-overcoming" -- Friedrich Nietzsche

Ben Goertzel

unread,
Apr 8, 2022, 3:05:59 AM4/8/22
to AGI, opencog
AGI DIscussion Forum Session in 7 hours ...

https://wiki.opencog.org/w/AGI_Discussion_Forum#Sessions

April 8, 2022, 7AM-8:30AM Pacific time: Jonathan Warrell on "A
meta-probabilistic-programming language for bisimulation of
probabilistic and non-well-founded type systems" (aka an elegant
general math formulation underlying MeTTa language) ...
https://singularitynet.zoom.us/my/benbot . Background material:
https://arxiv.org/abs/2203.15970

Ben Goertzel

unread,
Apr 22, 2022, 9:13:40 AM4/22/22
to AGI, opencog

Reminder ....

April 22, 2022, 7AM-8:30AM Pacific time: Alexey Potapov on "OpenCog Hyperon's MeTTa Language as a Tool for Creating DSLs" ... https://singularitynet.zoom.us/my/benbot .

Dustin Ezell

unread,
Apr 25, 2022, 1:27:39 PM4/25/22
to ope...@googlegroups.com
Are these discussions recorded and hosted anywhere for later viewing?

--
You received this message because you are subscribed to the Google Groups "opencog" group.
To unsubscribe from this group and stop receiving emails from it, send an email to opencog+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/opencog/CACYTDBeJqqrE9rAhfAs1PZ9LOURYcG%2B1cW4H6-Prne%2BiXX8UWg%40mail.gmail.com.

Adam Vandervorst

unread,
Apr 25, 2022, 1:30:51 PM4/25/22
to ope...@googlegroups.com
Reply all
Reply to author
Forward
0 new messages