Providing Self-Aware Systems with Reflexivity

07/27/2017
by   Alessandro Valitutti, et al.
0

We propose a new type of self-aware systems inspired by ideas from higher-order theories of consciousness. First, we discussed the crucial distinction between introspection and reflexion. Then, we focus on computational reflexion as a mechanism by which a computer program can inspect its own code at every stage of the computation. Finally, we provide a formal definition and a proof-of-concept implementation of computational reflexion, viewed as an enriched form of program interpretation and a way to dynamically "augment" a computational process.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/01/2021

Finitary type theories with and without contexts

We give a definition of finitary type theories that subsumes many exampl...
research
02/23/2023

Certifying Higher-Order Polynomial Interpretations

Higher-order rewriting is a framework in which one can write higher-orde...
research
10/18/2021

The search of Type I codes

A self-dual binary linear code is called Type I code if it has singly-ev...
research
11/07/2017

Self-referential basis of undecidable dynamics: from The Liar Paradox and The Halting Problem to The Edge of Chaos

In this paper we explore several fundamental relations between formal sy...
research
07/11/2022

Program Adverbs and Tlön Embeddings

Free monads (and their variants) have become a popular general-purpose t...
research
11/16/2017

Mechanizing Principia Logico-Metaphysica in Functional Type Theory

Principia Logico-Metaphysica proposes a foundational logical theory for ...
research
07/04/2018

Multi-Stage JavaScript

Multi-stage languages support generative metaprogramming via macros eval...

Please sign up or login with your details

Forgot password? Click here to reset