A Categorical Framework of General Intelligence

03/08/2023
by   Yang Yuan, et al.
0

Can machines think? Since Alan Turing asked this question in 1950, nobody is able to give a direct answer, due to the lack of solid mathematical foundations for general intelligence. In this paper, we introduce a categorical framework towards this goal, consisting of four components: the sensor, world category, planner with objectives, and actor. By leveraging category theory, many important notions in general intelligence can be rigorously defined and analyzed. For instance, we introduce the concept of self-state awareness as a categorical analogy for self-consciousness and provide algorithms for learning and evaluating it. For communication with other agents, we propose to use diagrams that capture the exact representation of the context, instead of using natural languages. Additionally, we demonstrate that by designing the objectives as the output of function over self-state, the model's human-friendliness is guaranteed. Most importantly, our framework naturally introduces various constraints based on categorical invariance that can serve as the alignment signals for training a model that fits into the framework.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/01/2022

Categorical Semantics for Feynman Diagrams

We introduce a novel compositional description of Feynman diagrams, with...
research
03/07/2023

Computing with Categories in Machine Learning

Category theory has been successfully applied in various domains of scie...
research
11/01/2022

A Categorical Framework for Modeling with Stock and Flow Diagrams

Stock and flow diagrams are already an important tool in epidemiology, b...
research
11/29/2021

A category theory framework for Bayesian learning

Inspired by the foundational works by Spivak and Fong and Cruttwell et a...
research
02/14/2019

Categorical Metadata Representation for Customized Text Classification

The performance of text classification has improved tremendously using i...
research
10/15/2021

The Pebble-Relation Comonad in Finite Model Theory

The pebbling comonad, introduced by Abramsky, Dawar and Wang, provides a...

Please sign up or login with your details

Forgot password? Click here to reset