Folding and Unfolding on Metagraphs

12/03/2020
by   Ben Goertzel, et al.
6

Typed metagraphs are defined as hypergraphs with types assigned to hyperedges and their targets, and the potential to have targets of hyperedges connect to whole links as well as targets. Directed typed metagraphs (DTMGs) are introduced via partitioning the targets of each edge in a typed metagraph into input, output and lateral sets; one can then look at "metapaths" in which edges' output-sets are linked to other edges' input-sets. An initial algebra approach to DTMGs is presented, including introduction of constructors for building up DTMGs and laws regarding relationships among multiple ways of using these constructors. A menagerie of useful morphism types is then defined on DTMGs (catamorphisms, anamorphisms, histomorphisms, futumorphisms, hylomorphisms, chronomorphisms, metamorphisms and metachronomorphisms), providing a general abstract framework for formulating a broad variety of metagraph operations. Deterministic and stochastic processes on typed metagraphs are represented in terms of forests of DTMGs defined over a common TMG, where the various morphisms can be straightforwardly extended to these forests. A variation of the approach to undirected typed metagraphs is presented; and it is indicated how the framework outlined can applied to realistic metagraphs involving complexities like dependent and probabilistic types, multidimensional values and dynamic processing including insertion and deletion of edges.

READ FULL TEXT

page 1

page 2

page 3

page 4

02/21/2021

Patterns of Cognition: Cognitive Algorithms as Galois Connections Fulfilled by Chronomorphisms On Probabilistically Typed Metagraphs

It is argued that a broad class of AGI-relevant algorithms can be expres...
08/22/2020

Brushing Feature Values in Immersive Graph Visualization Environment

There are a variety of graphs where multidimensional feature values are ...
12/04/2018

Proving that a Tree Language is not First-Order Definable

We explore from an algebraic viewpoint the properties of the tree langua...
04/07/2022

The combinator M and the Mockingbird lattice

We study combinatorial and order theoretic structures arising from the f...
04/06/2022

Mockingbird lattices

We study combinatorial and order theoretic structures arising from the f...
12/18/2010

Self-Organising Stochastic Encoders

The processing of mega-dimensional data, such as images, scales linearly...
10/04/2020

Diagonal Memory Optimisation for Machine Learning on Micro-controllers

As machine learning spreads into more and more application areas, micro ...