On Fri, Sep 10, 2021 at 1:49 PM Ben Goertzel via AGI <[email protected]> wrote:
> ... > Our OpenCog/SNet team is spending a lot of time on down-to-earth > stuff, some of which we'll talk about in some future AGI Discussion > sessions > > Mainly > > -- design of a new programming language (MeTTA = Meta Type Talk) > designed to serve as the type system and formalism behind the new > version of OpenCog Atomspace. A lot of math/CS work has been done in > the last 9 months leading up to this design... > Meta Type Talk... Is it a fair guess that there will be an element of Category Theory, sheaves, and the like, in MTT? -Rob ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/T5e30c339c3bfa713-M1c3c945a62a083fdbefa6e18 Delivery options: https://agi.topicbox.com/groups/agi/subscription
