Providing Self-aware Systems with Reflexivity

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.

[1]  Philip N. Johnson-Laird,et al.  A computational analysis of consciousness. , 1983 .

[2]  Rami Bahsoon,et al.  Architectural Aspects of Self-Aware and Self-Expressive Computing Systems: From Psychology to Engineering , 2015, Computer.

[3]  Mitchell Wand,et al.  Essentials of programming languages , 2008 .

[4]  M. Jammer.  Concepts of Simultaneity , 2006 .

[5]  P. Kleingeld,et al.  The Stanford Encyclopedia of Philosophy , 2013 .

[6]  Christian Plessl,et al.  Self-Aware and Self-Expressive Systems , 2015, Computer.

[7]  A. Damasio.  The Feeling of What Happens: Body and Emotion in the Making of Consciousness , 1999 .

[8]  M. Overgaard,et al.  An integrative view on consciousness and introspection , 2017 .

[9]  F. Peters.  Theories of Consciousness as Reflexivity , 2013 .

[10]  Christopher Landauer,et al.  Self-modeling Systems , 2001, IWSAS.

[11]  Gees C. Stein,et al.  Towards More Flexible and Common-Sensical Reasoning about Beliefs , 1995 .

[12]  Ron Sun,et al.  Cognition and Multi-Agent Interaction: The CLARION Cognitive Architecture: Extending Cognitive Modeling to Social Simulation , 2005 .

[13]  A. Church.  The calculi of lambda-conversion , 1941 .

[14]  Vinay K. Chaudhri,et al.  Report on DARPA Workshop on Self-Aware Computer Systems , 2007 .

[15]  John E. Laird,et al.  The Soar Cognitive Architecture , 2012 .

[16]  Richard W. Weyhrauch,et al.  Prolegomena to a Theory of Mechanized Formal Reasoning , 1980, Artif. Intell..

[17]  Xi Zhang,et al.  Modeling meta-cognition in a cognitive architecture , 2006, Cognitive Systems Research.

[18]  Marvin Minsky,et al.  Matter, Mind and Models , 1965 .

[19]  John McCarthy,et al.  History of LISP , 1978, SIGP.

[20]  John McCarthy,et al.  Recursive functions of symbolic expressions and their computation by machine, Part I , 1960, Commun. ACM.

[21]  John McCarthy,et al.  Programs with common sense , 1960 .

[22]  Richard W. Weyhrauch,et al.  Prolegomena to a theory of formal reasoning , 1978 .

[23]  Michael T. Cox.  Metacognition in computation: A selected research review , 2005, Artif. Intell..

[24]  John R Anderson,et al.  An integrated theory of the mind. , 2004, Psychological review.

[25]  A. C. Gil,et al.  INSTITUTO MUNICIPAL DE ENSINO SUPERIOR DE SÃO CAETANO DO SUL UNIVERSIDADE MUNICIPAL DE SÃO CAETANO DO SUL PRÓ-REITORIA DE PÓS-GRADUAÇÃO E PESQUISA , 2005 .