Symbol systems in constructed complex systems

This paper is about a particular technical problem in the study of autonomy in constructed complex systems: how can a computing system decide that it needs a new symbol system to re-express all of its own processes? We have shown earlier that a constructed complex system will need to change its symbol system, by proving two theorems that limit what it can do with a fixed symbol system. To change that phenomenon, we need construction mechanisms that can themselves be changed and elaborated. In this paper, we show how a constructed complex system can decide that it needs to change its symbol system, and how it can do it. We think that if we can change the construction mechanisms, then we have another way to escape the trap of creeping rigidity: we can elaborate the units out from underneath the existing structures. This brings us directly to computational semiotics, which is the study of the treatment and use of symbols in computing systems. This paper is primarily intended to stimulate discussion and further research in these areas.

[1]  Christopher Landauer,et al.  Mathematics and linguistics , 1996 .

[2]  Christopher Landauer,et al.  Generic programming, partial evaluation, and a new programming paradigm , 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.

[3]  Peter Aczel,et al.  Non-well-founded sets , 1988, CSLI lecture notes series.

[4]  Christopher Landauer,et al.  A note on improving the capabilities of software agents , 1997, AGENTS '97.

[5]  Herbert B. Enderton,et al.  Elements of Recursion Theory , 1977 .

[6]  C. Landauer CONCEPTUAL CATEGORIES AS KNOWLEDGE STRUCTURES , 1997 .

[7]  Carl H. Smith,et al.  Inductive Inference: Theory and Methods , 1983, CSUR.

[8]  Christopher Landauer,et al.  Integration Systems and Interaction Spaces , 1996, FroCoS.

[9]  Christopher Landauer,et al.  Semiotics of constructed complex systems , 1996 .

[10]  K. Bellman,et al.  Common origin of linguistic and movement abilities. , 1984, The American journal of physiology.

[11]  Christopher Landauer,et al.  Computational Embodiment: Constructing Autonomous Software Systems , 1999, Cybern. Syst..

[12]  L. Blumenfeld,et al.  Tunnelling of electrons in biological processes. , 1973, Journal of theoretical biology.