TY - JOUR
TI - Homunculus' Brain and Categorical Logic
AU - Heller, Michael
T2 - ArXiv
AB - The interaction between syntax (formal language) and its semantics (meanings of language) is well studied in categorical logic. Results of this study are employed to understand how the brain could create meanings. To emphasize the toy character of the proposed model, we prefer to speak on homunculus' brain rather than just on the brain. Homunculus' brain consists of neurons, each of which is modeled by a category, and axons between neurons, which are modeled by functors between the corresponding neuron-categories. Each neuron (category) has its own program enabling its working, i.e. a "theory" of this neuron. In analogy with what is known from categorical logic, we postulate the existence of the pair of adjoint functors, called Lang and Syn, from a category, now called BRAIN, of categories, to a category, now called MIND, of theories. Our homunculus is a kind of "mathematical robot", the neuronal architecture of which is not important. Its only aim is to provide us with the opportunity to study how such a simple brain-like structure could "create meanings" out of its purely syntactic program. The pair of adjoint functors Lang and Syn models mutual dependencies between the syntactical structure of a given theory of MIND and the internal logic of its semantics given by a category of BRAIN. In this way, a formal language (syntax) and its meanings (semantics) are interwoven with each other in a manner corresponding to the adjointness of the functors Lang and Syn. Categories BRAIN and MIND interact with each other with their entire structures and, at the same time, these very structures are shaped by this interaction.
DA - 2019///
PY - 2019
DP - Semantic Scholar
VL - abs/1903.03424
KW - Emergence
KW - Sketchy
ER -
TY - JOUR
TI - A Provably Correct Sampler for Probabilistic Programs
AU - Hur, Chung-Kil
AU - Nori, Aditya V
AU - Rajamani, Sriram K
AB - We consider the problem of inferring the implicit distribution speciﬁed by a probabilistic program. A popular inference technique for probabilistic programs called Markov Chain Monte Carlo or MCMC sampling involves running the program repeatedly and generating sample values by perturbing values produced in “previous runs”. This simulates a Markov chain whose stationary distribution is the distribution speciﬁed by the probabilistic program.
DA - 2015///
PY - 2015
DP - Zotero
SP - 21
LA - en
KW - Bayesian inference
KW - Implementation
KW - Probabilistic programming
KW - Programming language theory
ER -
TY - JOUR
TI - MENS, an Info-Computational Model for (Neuro-)cognitive Systems Capable of Creativity
AU - Ehresmann, Andrée C.
T2 - Entropy
AB - MENS is a bio-inspired model for higher level cognitive systems; it is an application of the Memory Evolutive Systems developed with Vanbremeersch to model complex multi-scale, multi-agent self-organized systems, such as biological or social systems. Its development resorts to an info-computationalism: first we characterize the properties of the human brain/mind at the origin of higher order cognitive processes up to consciousness and creativity, then we ‘abstract’ them in a MENS mathematical model for natural or artificial cognitive systems. The model, based on a ‘dynamic’ Category Theory incorporating Time, emphasizes the computability problems which are raised.
DA - 2012///
PY - 2012
DO - 10/ggdf9t
DP - Semantic Scholar
VL - 14
SP - 1703
EP - 1716
KW - Emergence
KW - Neuroscience
ER -
TY - JOUR
TI - Is There Something Out There? Inferring Space from Sensorimotor Dependencies
AU - Philipona, David
AU - O’Regan, J.
AU - Nadal, Jean-Pierre
T2 - Neural computation
AB - This letter suggests that in biological organisms, the perceived structure of reality, in particular the notions of body, environment, space, object, and attribute, could be a consequence of an effort on the part of brains to account for the dependency between their inputs and their outputs in terms of a small number of parameters. To validate this idea, a procedure is demonstrated whereby the brain of a (simulated) organism with arbitrary input and output connectivity can deduce the dimensionality of the rigid group of the space underlying its input-output relationship, that is, the dimension of what the organism will call physical space.
DA - 2003/10/01/
PY - 2003
DO - 10/frg7gs
DP - ResearchGate
VL - 15
SP - 2029
EP - 49
J2 - Neural computation
ST - Is There Something Out There?
KW - Algebra
KW - Neuroscience
ER -
TY - JOUR
TI - Probabilistic Non-determinism
AU - Jones, Claire
DA - 1989///
PY - 1989
DP - Zotero
SP - 198
LA - en
KW - Denotational semantics
KW - Probabilistic programming
KW - Programming language theory
ER -
TY - JOUR
TI - Structures, Learning and Ergosystems: Chapters
AU - Gromov, Misha
AB - We introduce a concept of an ergosystem which functions by building its ”internal structure“ out of the ”raw structures“ in the incoming ﬂows of signals.
DP - Zotero
SP - 159
LA - en
KW - Biology
KW - Compendium
KW - Emergence
KW - Neuroscience
KW - Sketchy
ER -
TY - JOUR
TI - The Kappa Language and Kappa Tools
AU - Boutillier, Pierre
AU - Feret, Jérôme
AU - Krivine, Jean
AU - Fontana, Walter
DP - Zotero
SP - 52
LA - en
KW - Biology
KW - Implementation
KW - Systems biology
ER -