Advertisement

Providing Self-aware Systems with Reflexivity

  • Alessandro ValituttiEmail author
  • Giuseppe Trautteur
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10640)

Abstract

We propose a new type of self-aware systems inspired by ideas from higher-order theories of consciousness. First, we discuss 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.

Keywords

Computational reflexivity Computational augmentation Self-aware systems Self-representation Self-modification Self-monitoring 

References

  1. 1.
    Amir, E., Anderson, M., Chaudhri, V.K.: Report on DARPA workshop on self-aware computer systems. Technical report, Artificial Intelligence Center SRI International, Washington DC (2004)Google Scholar
  2. 2.
    Anderson, J.R., Bothell, D., Byrne, M.D., Douglass, S., Lebiere, C., Qin, Y.: An integrated theory of the mind. Psychol. Rev. 111(4), 1036–1060 (2004)CrossRefGoogle Scholar
  3. 3.
    Batali, J.: Computational introspection. Technical report AI-M-701, Massachussetts Institute of Technology (MIT), Cambridge, MA, US (1983)Google Scholar
  4. 4.
    Church, A.: The Calculi of Lambda-Conversion. Princeton University Press, Princeton (1941)zbMATHGoogle Scholar
  5. 5.
    Cox, M.T.: Metacognition in computation: a selected research review. Artif. Intell. 169(2), 104–141 (2005)CrossRefGoogle Scholar
  6. 6.
    Damasio, A.: The Feeling of What Happens: Body and Emotion in the Making of Consciousness. Harcourt Brace, New York (1999)Google Scholar
  7. 7.
    Friedman, D.P., Wand, M.: Essentials of Programming Languages. The MIT Press, Cambridge (2008)zbMATHGoogle Scholar
  8. 8.
    Graham, P.: The roots of lisp, 18 January 2002. http://lib.store.yahoo.net/lib/paulgraham/jmc.ps
  9. 9.
    Jammer, M.: Concept of Simultaneity: From Antiquity to Einstein and Beyond. The Johns Hopkins University Press, Baltimore (2006)Google Scholar
  10. 10.
    Johnson-Laird, P.N.: A computational analysis of consciousness. Cogn. Brain Theory 6, 499–508 (1983)Google Scholar
  11. 11.
    Laird, J.: The Soar Cognitive Architecture. MIT Press, Cambridge (2012)Google Scholar
  12. 12.
    Landauer, C., Bellman, K.L.: Self-modeling systems. In: Laddaga, R., Shrobe, H., Robertson, P. (eds.) IWSAS 2001. LNCS, vol. 2614, pp. 238–256. Springer, Heidelberg (2003).  https://doi.org/10.1007/3-540-36554-0_18 CrossRefGoogle Scholar
  13. 13.
    Lewis, P.R., Chandra, A., Faniyi, F., Glette, K., Chen, T., Bahsoon, R., Torresen, J., Yao, X.: Architectural aspects of self-aware and self-expressive computing systems: from psychology to engineering. Computer 48(8), 62–70 (2015)CrossRefGoogle Scholar
  14. 14.
    McCarthy, J.: Programs with common sense. In: Proceedings of the Teddington Conference on the Mechanization of Thought Processes, London (1959)Google Scholar
  15. 15.
    McCarthy, J.: Recursive functions of symbolic expressions and their computation by machine, part I. Commun. ACM 3, 184–195 (1960)CrossRefzbMATHGoogle Scholar
  16. 16.
    McCarthy, J.: History of LISP. ACM SIGPLAN Not. - Special Issue: Hist. Program. Lang. Conf. 13(8), 217–223 (1978)CrossRefGoogle Scholar
  17. 17.
    Minsky, M.: Matter, mind, and models. In: Minsky, M. (ed.) Semantic Information Processing, pp. 425–432. MIT Press, Cambridge (1969)Google Scholar
  18. 18.
    Overgaard, M., Mogensen, J.: An integrative view on consciousness and introspection. Rev. Phil. Psych. 8, 129–141 (2016).  https://doi.org/10.1007/s13164-016-0303-6 CrossRefGoogle Scholar
  19. 19.
    Peters, F.: Theories of consciousness as reflexivity. Philos. Forum 44, 341–372 (2013)CrossRefGoogle Scholar
  20. 20.
    Smith, B.: Reflection and semantics in a procedural language. Technical report 272, MlT Laboratory of Computer Science (1982)Google Scholar
  21. 21.
    Stein, G., Barnden, J.: Towards more flexible and common-sensical reasoning about beliefs. In: Cox, M., Freed, M. (eds.) Proceedings of the 1995 AAAI Spring Symposium on Representing Mental States and Mechanisms, pp. 127–135. AAAI Press, Menlo Park (1995)Google Scholar
  22. 22.
    Sun, R.: The clarion cognitive architecture: extending cognitive modeling to social simulation. In: Sun, R. (ed.) Cognition and Multi-Agent Interaction, pp. 79–99. Cambridge University Press, New York (2006)Google Scholar
  23. 23.
    Sun, R., Zhang, X., Mathews, R.: Modeling meta-cognition in a cognitive architecture. Cogn. Syst. Res. 7, 327–338 (2006)CrossRefGoogle Scholar
  24. 24.
    Torresen, J., Plessl, C., Yao, X.: Self-aware and self-expressive systems. Computer 48(7), 18–20 (2015)CrossRefGoogle Scholar
  25. 25.
    Trautteur, G.: Some remarks about consciousness. Networks 3–4, 165–172 (2004)Google Scholar
  26. 26.
    Valdemir, A., Neto, J.: Adaptivity in programming languages. Trans. Inf. Sci. Appl. 4(4), 779–786 (2007)Google Scholar
  27. 27.
    Van Gulick, R.: Consciousness. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. The Metaphysics Research Lab, Spring 2014 edn. (2014)Google Scholar
  28. 28.
    Weyhrauch, R.: Prolegomena to a theory of formal reasoning. Artif. Intell. 13(1), 133–176 (1980)CrossRefzbMATHMathSciNetGoogle Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.University of BariBariItaly
  2. 2.University of Naples Federico IINaplesItaly

Personalised recommendations