Beiträge in Tagungsbänden:
A. Jantsch:
"Towards a Formal Model of Recursive Self-Reflection";
in: "Workshop on Autonomous Systems Design (ASD 2019)}",
OpenAccess Series in Informatics (OASIcs);
herausgegeben von: Selma Saidi and Rolf Ernst and Dirk Ziegenbein;
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik,
Dagstuhl, Germany,
2019,
ISBN: 978-3-95977-102-3,
S. 1
- 15.
Kurzfassung englisch:
Self-awareness holds the promise of better decision making based on a comprehensive assessment of asystem´s own situation. Therefore it has been studied for more than ten years in a range of settingsand applications. However, in the literature the term has been used in a variety of meanings andtoday there is no consensus on what features and properties it should include. In fact, researchersdisagree on the relative benefits of a self-aware system compared to one that is very similar butlacks self-awareness.We sketch a formal model, and thus a formal definition, of self-awareness. The model is basedon dynamic dataflow semantics and includes self-assessment, a simulation and an abstraction asfacilitating techniques, which are modeled by spawning new dataflow actors in the system. Mostimportantly, it has a method to focus on any of its parts to make it a subject of analysis by applyingabstraction, self-assessment and simulation. In particular, it can apply this process to itself, whichwe call recursive self-reflection. There is no arbitrary limit to this self-scrutiny except resourceconstraints
Schlagworte:
Cyber-physical systems, self-aware systems, self-reflection, self-assessment
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.4230/OASIcs.ASD.2019.6
Elektronische Version der Publikation:
https://publik.tuwien.ac.at/files/publik_284723.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.