Self-modeling Systems

This paper is about systems with complete models of themselves (down to some very low level of detail). We explain how to build such a system (using careful system engineering, and our Wrapping approach to flexible integration infrastructures for Constructed Complex Systems), and why we want to do so (it is at least interesting, and we believe it is essential for effective autonomy). The long-term goal is the use of these models to understand modeling processes, so that computing systems can be built that can do their own modeling and construct their own abstractions, which we believe is important for computational intelligence.

[1]  Ken Thompson,et al.  Reflections on trusting trust , 1984, CACM.

[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]  Martin Kay,et al.  Algorithm schemata and data structures in syntactic processing , 1986 .

[4]  Richard Bellman,et al.  On the Concepts of a Problem and Problem-Solving , 1960 .

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

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

[7]  Philippe Lalanda,et al.  A Domain-Specific Software Architecture for Adaptive Intelligent Systems , 1995, IEEE Trans. Software Eng..

[8]  Pierre Wolper,et al.  Temporal logic can be more expressive , 1981, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).

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

[10]  Christopher Landauer,et al.  Lessons learned from wrapping systems , 1999, Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434).

[11]  Kerstin Dautenhahn,et al.  Human Cognition and Social Agent Technology , 2000 .

[12]  Mary Shaw,et al.  Tyrannical Languages Still Preempt System Design , 1992 .

[13]  Alfred V. Aho,et al.  The Theory of Parsing, Translation, and Compiling , 1972 .

[14]  Christopher Landauer,et al.  Computational Infrastructure for Experiments in Cognitive Leverage , 2001, Cognitive Technology.

[15]  Randall D. Beer,et al.  Biologically inspired approaches to robotics: what can we learn from insects? , 1997, CACM.

[16]  Walter L. Ruzzo,et al.  An Improved Context-Free Recognizer , 1980, ACM Trans. Program. Lang. Syst..

[17]  Rodney A. Brooks,et al.  Cambrian Intelligence: The Early History of the New AI , 1999 .

[18]  Grigore Rosu,et al.  Circular coinductive rewriting , 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.

[19]  Alexander M. Meystel,et al.  Semiotic Modeling and Situation Analysis : An Introduction , 1995 .

[20]  Pattie Maes,et al.  Designing autonomous agents: Theory and practice from biology to engineering and back , 1990, Robotics Auton. Syst..

[21]  Gerald J. Sussman,et al.  Structure and interpretation of computer programs , 1985, Proceedings of the IEEE.

[22]  Alexander M. Meystel,et al.  Intelligent Systems: Architecture, Design, and Control , 2000 .

[23]  Peter Stone,et al.  Layered learning in multiagent systems - a winning approach to robotic soccer , 2000, Intelligent robotics and autonomous agents.

[24]  Francis Heylighen,et al.  Advantages and limitations of formal expression , 1999 .

[25]  Paul Davidsson,et al.  Towards Anticipatory Agents , 1994, ECAI Workshop on Agent Theories, Architectures, and Languages.

[26]  Mary Shaw,et al.  Toward relaxing assumptions in languages and their implementations , 1980, SIGP.

[27]  Christopher Landauer,et al.  Wrappings for one-of-a-kind software development , 2002, Proceedings of the 35th Annual Hawaii International Conference on System Sciences.

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

[29]  Pierre Wolper,et al.  Specification and synthesis of communicating processes using an extended temporal logic: (preliminary version) , 1982, POPL '82.

[30]  Christopher Landauer,et al.  Integration science: more than putting pieces together , 2000, 2000 IEEE Aerospace Conference. Proceedings (Cat. No.00TH8484).

[31]  Harold Abelson,et al.  Structure and interpretation of computer programs / Harold Abelson, Gerald Jay Sussman, Julie Sussman , 1985 .

[32]  Kirstie L. Bellman.  An approach to integrating and creating flexible software environments supporting the design of complex systems , 1991, 1991 Winter Simulation Conference Proceedings..

[33]  C. Landauer,et al.  Towards an Integration Science The Influence of Richard Bellman on Our Research , 2000 .

[34]  Christopher Landauer,et al.  Proceedings of the Virtual Worlds and Simulation Conference (VWSIM '98) : 1998 Western MultiConference, San Diego, California, January 11-14, 1998, Catamaran Resort Hotel, , 1998 .

[35]  Lawrence S. Moss,et al.  Vicious circles - on the mathematics of non-wellfounded phenomena , 1996, CSLI lecture notes series.

[36]  Christopher Landauer,et al.  Symbol systems in constructed complex systems , 1999, Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014).

[37]  Christopher Landauer,et al.  New architectures for constructed complex systems , 2001, Appl. Math. Comput..

[38]  James S. Albus,et al.  Engineering of Mind: An Introduction to the Science of Intelligent Systems , 2001 .

[39]  Jeffrey M. Bradshaw,et al.  Software agents , 1997 .

[40]  Christopher Landauer,et al.  Problem posing interpretation of programming languages , 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.

[41]  Randall D. Beer,et al.  Biologically Inspired Approaches to Robotics. , 1997 .

[42]  Catriona Kennedy,et al.  A conceptual foundation for autonomous learning in unforeseen situations , 1998, Proceedings of the 1998 IEEE International Symposium on Intelligent Control (ISIC) held jointly with IEEE International Symposium on Computational Intelligence in Robotics and Automation (CIRA) Intell.

[43]  Gerald Jay Sussman,et al.  The Art of the Interpreter or, The Modularity Complex (Parts Zero, One, and Two) , 1978 .

[44]  A. Meystel.  Multiresolutional Architectures for Autonomous Systems with Incomplete and Inadequate Knowledge Representation , 1995 .

[45]  Christopher Landauer,et al.  Wrapping Mathematical Tools , 1992 .