Towards a Formal Model of Recursive Self-Reflection

Author Axel Jantsch



PDF
Thumbnail PDF

File

OASIcs.ASD.2019.6.pdf
  • Filesize: 0.57 MB
  • 15 pages

Document Identifiers

Author Details

Axel Jantsch
  • TU Wien, Vienna, Austria

Cite AsGet BibTex

Axel Jantsch. Towards a Formal Model of Recursive Self-Reflection. In Workshop on Autonomous Systems Design (ASD 2019). Open Access Series in Informatics (OASIcs), Volume 68, pp. 6:1-6:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
https://doi.org/10.4230/OASIcs.ASD.2019.6

Abstract

Self-awareness holds the promise of better decision making based on a comprehensive assessment of a system’s own situation. Therefore it has been studied for more than ten years in a range of settings and applications. However, in the literature the term has been used in a variety of meanings and today there is no consensus on what features and properties it should include. In fact, researchers disagree on the relative benefits of a self-aware system compared to one that is very similar but lacks self-awareness. We sketch a formal model, and thus a formal definition, of self-awareness. The model is based on dynamic dataflow semantics and includes self-assessment, a simulation and an abstraction as facilitating techniques, which are modeled by spawning new dataflow actors in the system. Most importantly, it has a method to focus on any of its parts to make it a subject of analysis by applying abstraction, self-assessment and simulation. In particular, it can apply this process to itself, which we call recursive self-reflection. There is no arbitrary limit to this self-scrutiny except resource constraints.

Subject Classification

ACM Subject Classification
  • Computer systems organization → Embedded and cyber-physical systems
  • Computer systems organization → Self-organizing autonomic computing
Keywords
  • Cyber-physical systems
  • self-aware systems
  • self-reflection
  • self-assessment

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. A. Agarwal, J. Miller, J. Eastep, D. Wentziaff, and H. Kasture. Self-aware Computing. Final Technical Report AFRL-RI-RS-TR-2009-161, page 81, 2009. Google Scholar
  2. T. M. Cover and J.A. Thomas. Elements of Information Theory. Wiley, Hoboken, NJ, USA, 2006. Google Scholar
  3. Lukas Esterle and Radu Grosu. Cyber-physical systems: challenge of the 21st century. e & i Elektrotechnik und Informationstechnik, 133(7):299-303, November 2016. Google Scholar
  4. European Commission. Self-Awareness in Autonomic Systems, January 2013. Google Scholar
  5. Radu Grosu and Ketil Stølen. A denotational model for mobile point-to-point dataflow networks. Technical Report Technical Report SFB 342 95 A, Technische Universität München, 1995. Google Scholar
  6. Radu Grosu and Ketil Stølen. A Model for Mobile Point-to-Point Data-flow Networks without Channel Sharing. In In Proc. AMAST'96, LNCS, pages 504-519, 1996. Google Scholar
  7. Axel Jantsch. Modeling Embedded Systems and SoCs - Concurrency and Time in Models of Computation. Systems on Silicon. Morgan Kaufmann Publishers, June 2003. Google Scholar
  8. Axel Jantsch. Models of Embedded Computation. In Richard Zurawski, editor, Embedded Systems Handbook. CRC Press, 2005. Invited contribution. Google Scholar
  9. Axel Jantsch, Nikil Dutt, and Amir M. Rahmani. Self-Awareness in Systems on Chip - A Survey. IEEE Design Test, 34(6):1-19, December 2017. Google Scholar
  10. Axel Jantsch and Kalle Tammemäe. A Framework of Awareness for Artificial Subjects. In Proceedings of the 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES '14, pages 20:1-20:3, New York, NY, USA, 2014. ACM. Google Scholar
  11. S. Kounev, J.O. Kephart, A. Milenkoski, and X. Zhu, editors. Self-Aware Computing Systems. Springer, 2017. Google Scholar
  12. Samuel Kounev, Peter Lewis, Kirstie Bellman, Nelly Bencomo, Javier Camara, Ada Diaconescu, Lukas Esterle, Kurt Geihs, Holger Giese, Sebastian Götz, Paola Inverardi, Jeffrey Kephart, and Andrea Zisman. The Notion of Self-Aware Computing. In Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, and Xiaoyun Zhu, editors, Self-Aware Computing Systems, pages 3-16. Springer, 2017. Google Scholar
  13. Samuel Kounev, Xiaoyun Zhu, Jeffrey O. Kephart, and Marta Kwiatkowska. Model-driven Algorithms and Architectures for Self-Aware Computing Systems (Dagstuhl Seminar 15041). Dagstuhl Reports, 5(1):164-196, 2015. Google Scholar
  14. Edward A. Lee. A Denotational Semantics for Dataflow with Firing. Technical Report UCB/ERL M97/3, Department of Electrical Engineering and Computer Science, University of California, Berkeley, January 1997. Google Scholar
  15. Edward A. Lee and Alberto Sangiovanni-Vincentelli. A Framework for Comparing Models of Computation. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 17(12):1217-1229, December 1998. Google Scholar
  16. Peter R. Lewis. Self-aware Computing Systems: From Psychology to Engineering. In Proceedings of the 2017 Design, Automation &Test in Europe Conference &Exhibition (DATE), pages 1044-1049, 2017. Google Scholar
  17. Peter R. Lewis, Arjun Chandra, Funmilade Faniyi, Kyrre Glette, Tao Chen, Rami Bahsoon, Jim Torresen, and Xin Yao. Architectural Aspects of Self-aware and Self-expressive Computing Systems. IEEE Computer, August 2015. Google Scholar
  18. Peter R. Lewis, Marco Platzner, Bernhard Rinner, Jim Torresen, and Xin Yao, editors. Self-Aware Computing Systems: An Engineering Approach. Springer, 2016. Google Scholar
  19. P.R. Lewis, A. Chandra, S. Parsons, E. Robinson, K. Glette, R. Bahsoon, J. Torresen, and Xin Yao. A Survey of Self-Awareness and Its Application in Computing Systems. In Self-Adaptive and Self-Organizing Systems Workshops (SASO), 2011 Fifth IEEE Conference on, pages 102-107, October 2011. Google Scholar
  20. Yue Li and Asok Ray. Unsupervised symbolization of signal time series for extraction of the embedded information. Entropy, 19(4), January 2017. Google Scholar
  21. George A. Miller. The Magical Number Seven, Plus or Minus Two: Some Limits on our Capacity for Processing Information. Psychological Review, 63:81-97, 1956. Google Scholar
  22. Alain Morin. Levels of consciousness and self-awareness: A comparison and integration of various neurocognitive views. Consciousness and Cognition, 15(2):358-371, 2006. Google Scholar
  23. Christian Müller-Schloer, Hartmut Schmeck, and Theo Ungerer, editors. Organic Computing — A Paradigm Shift for Complex Systems. Birkhauser, 2011. Google Scholar
  24. Ulric Neisser. The roots of self-knowledge: Perceiving self, it, and thou. Annals of the New York Academy of Sciences, 818:19-33, 1997. Google Scholar
  25. L.D. Paulson. DARPA creating self-aware computing. IEEE Computer, 36(3):24, March 2003. Google Scholar
  26. Jeremy Pitt, editor. The Computer after Me : Awareness and Self-Awareness in Autonomic Systems. Imperial College Press, 2014. Google Scholar
  27. J. Schaumeier, J. Jeremy Pitt, and G. Cabri. A Tripartite Analytic Framework for Characterising Awareness and Self-Awareness in Autonomic Systems Research. In Proceedings of the Sixth IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW), pages 157-162. IEEE Computer Society, 2012. Google Scholar
  28. P. Senin, J. Lin, X. Wang, T. Oates, S. Gandhi, A.P. Boedihardjo, C. Chen, S. Frankenstein, and M. Lerner. GrammarViz 2.0: a tool for grammar-based pattern discovery in time series. In ECML/PKDD, 2014. Google Scholar
  29. R. Sterritt and M. Hinchey. SPAACE IV: Self-properties for an autonomous and autonomic computing environment - part IV a newish hope. In IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems (EASe), pages 119-125, 2010. Google Scholar
  30. Joshua B. Tenenbaum, Charles Kemp, Thomas L. Griffiths, and Noah D. Goodman. How to Grow a Mind: Statistics, Structure, and Abstraction. Science, 331(6022):1279-1285, 2011. Google Scholar
  31. E. Vassev and M. Hinchey. Knowledge Representation and Awareness in Autonomic Service-Component Ensembles - State of the Art. In 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, pages 110-119, March 2011. Google Scholar
  32. Martin Wirsing, Matthias Hölzl, Nora Koch, and Philip Mayer, editors. Software Engineering for Collective Autonomic Systems: The ASCENS Approach. Springer, 2015. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail