Download PDFOpen PDF in browserAutonomous Computational Partners9 pages•Published: July 12, 2024AbstractIf we are going to have computing systems that can be trusted to help us with difficult situations in difficult environments, then those systems are going to need much more capability, both for actions that conform to our goals for the systems, and for appropriate adaptations to unexpected or difficult conditions in their operational environment.We may not be able to communicate with them in any timely or even useful way, so they will need to have strong autonomy in their action and adaptation decision processes. This paper extends earlier work with further implications and expectations, along with some design notes for experiments that we are in the process of developing. The first key finding of this investigation is that systematic language and the expressive and analytic properties of symbol systems are extremely important: abstractions cannot be computed without symbol systems; analogies cannot be discovered without symbol systems; models cannot be analyzed without symbol systems; and there are many other processes that we think are necessary that are greatly facilitated by explicit symbol systems. The difficulty is that symbol systems cannot be indefinitely elaborated without a cor- responding reduction process (by the “Get Stuck” Theorems in the field of Computational Semiotics, which studies the use of symbol systems by computing systems), so some kind of balance must be kept between what the system needs to know and how much that knowledge requires of its resources. Keyphrases: automatic modeling, autonomous systems, computational semiotics, human system cooperation, model based operation, model deficiency analysis, self modeling, wrapping integration infrastructure In: Kenneth Baclawski, Michael Kozak, Kirstie Bellman, Giuseppe D'Aniello, Alicia Ruvinsky and Candida Da Silva Ferreira Barreto (editors). Proceedings of Conference on Cognitive and Computational Aspects of Situation Management 2023, vol 102, pages 163-171.
|