Abstract
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 fiexible 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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Harold Abelson, Gerald Sussman, with Julie Sussman, The Structure and Interpretation of Computer Programs, Bradford Books, now MIT Press (1985)
Peter Aczel, “Inductive Defenitions”, Chapter C.7, pp. 739–782 in [7]
Peter Aczel, Non-well-founded Sets, CSLI Lecture Notes Number 14, Center for the Study of Language and Information, Stanford U., U. Chicago Press (1988)
Alfred V. Aho, Jeffrey D. Ullman, The Theory of Parsing, Translation, and Compiling, Volume I: Parsing, Prentice-Hall (1973)
James S. Albus, Alexander M. Meystel, Engineering of Mind: An Introduction to the Science of Intelligent Systems, Wiley (2001)
Dana Angluin, Carl H. Smith, “Inductive Inference: Theory and Methods”, Computing Surveys, Volume 15, Number 3, pp. 237–269(September 1983)
Jon Barwise (ed.), Handbook of Mathematical Logic, Studies in Logic and the Foundations of Mathematics, Volume 90, North-Holland (1977)
Jon Barwise, Lawrence Moss, Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena, CSLI Lecture Notes Number 60, Center for the Study of Language and Information, Stanford U. (1996)
Randall D. Beer, Roger D. Quinn, Hillel J. Chiel, Roy E. Ritzmann, “Biologically Inspired Approaches to Robotics”, Communications of the ACM, Volume 40, Number 3, pp. 30–38(March 1997)
Kirstie L. Bellman, “An Approach to Integrating and Creating Flexible Software Environments Supporting the Design of Complex Systems”, pp. 1101–1105 in Proceedings of WSC’91: The 1991 Winter Simulation Conference, 8-11 December 1991, Phoenix, Arizona (1991)
Kirstie L. Bellman, “Emotions: Meaningful Mappings between an Individual and its World” (invited paper), Proceedings of a Workshop on Emotions in Humans and Artifacts, 13-14 August 1999, Vienna, Austria (1999)
Kirstie L. Bellman, “The Challenge for a New Type of Computational Semiotics: The Roles and Limitations of Diverse Representations in Virtual Worlds”, Proceedings of VWsim’01: The 2001 Virtual Worlds and Simulation Conference, WMC’2001: The 2001 SCS Western MultiConference, 7-11 January 2001, Phoenix, SCS (2001)
Kirstie L. Bellman and Lou Goldberg, “Common Origin of Linguistic and Movement Abilities”, American Journal of Physiology, Volume 246, pp. R915–R921 (1984)
Kirstie L. Bellman, Christopher Landauer, “Integration Science is More Than Putting Pieces Together”, in Proceedings of the 2000 IEEE Aerospace Conference (CD), 18-25 March 2000, Big Sky, Montana (2000)
Kirstie L. Bellman, Christopher Landauer, “Towards an Integration Science: The Influence of Richard Bellman on our Research”, Journal of Mathematical Analysis and Applications, Volume 249, Number 1, pp. 3–31 (2000)
Kirstie L. Bellman and Donald O. Walter, “Biological Processing”, American Journal of Physiology, Volume 246, pp. R860–R867 (1984)
Richard Bellman, P. Brock, “On the concepts of a problem and problem-solving”, American Mathematical Monthly, Volume 67, pp. 119–134 (1960)
Jeffrey M. Bradshaw (ed.), Software Agents, AAAI Press (1997)
Rodney Brooks, Cambrian Intelligence: The Early History of the New AI, MIT (1999)
Olivier Danvy, Robert Glück, Peter Thiemann (eds.), Partial Evaluation, Proceedings of the International Seminar, 12–16 February 1996, Dagstuhl Castle, Germany, Springer Lecture Notes in Computer Science, Volume 1110 (1996)
Kerstin Dautenhahn, “Socially Situated Life-Like Agents”, pp. 191–196 in Proceedings VWsim’99: The 1999 Virtual Worlds and Simulation Conference, part of WMC’99: The 1999 SCS Western Multi-Conference, 18-20 January, San Francisco (1999)
Kerstin Dautenhahn (ed.), Human Cognition and Social Agent Technology, Benjamins (2000)
Bertil Ekdahl, Eric Astor, Paul Davidsson, “Towards Anticipatory Agents”, pp. 191–202 in M. Wooldridge, N. R. Jennings (eds.), Intelligent Agents — Theories, Architectures, and Languages, Springer LNAI 898 (1995); also on theWeb at URL “http://citeseer.nj.nec.com/ekdahl95towards.html” (availability last checked 17 February 2002)
Jacques Ferber, Multi-Agent Systems, Addison Wesley Longman (1999); translation of Jacques Ferber, Les Syst`emes Multi-Agents: Vers une intelligence collective, InterEditions, Paris (1995)
Joseph Goguen, Kai Lin, and Grigore Roşu, “Circular Coinductive Rewriting”, pp. 123–131 in Proceedings of ASE’00: The 15th International Conference on Automated Software Engineering, 11-15 September 2000, Grenoble, France, IEEE Press (2000)
Susan L. Graham, Michael A. Harrison, Walter L. Ruzzo, “An Improved Context-Free Recognizer”, ACM Transactions on Programming Languages and Systems, Volume 2, No. 3, pp. 415–462 (July 1980)
John Hatcli., Torben Æ. Mogensen, Peter Thiemann (eds.), Partial Evaluation: Practice and Theory, Proceedings of the DIKU 1998 International Summer School, 29 June-10 July 1998, Copenhagen, Denmark, Springer Lecture Notes in Computer Science, Volume 1706 (1998)
Barbara Hayes-Roth, Karl Pfleger, Philippe Lalanda, Philippe Morignot, Marka Balabanovic, “A Domain-Specific Software Architecture for Adaptive Intelligent Systems]”, IEEE Transactions on Software Engineering, Volume SE-21, No. 4, pp. 288–301 (April 1995)
Francis Heylighen, “Advantages and Limitations of Formal Expression”; on the Web at URL “http://citeseer.nj.nec.com/heylighen99advantages.html” (availability last checked 17 February 2002)
Bart Jacobs, Jan Rutten, “A Tutorial on (Co)Algebras and (Co)Induction”, EATCS Bulletin, Volume 62, pp. 222–259 (1997)
Martin Kay, “Algorithm schemata and data structures in syntactic processing”, Report CSL-80-12, Xerox PARC (1980); reprinted in Barbara Grosz, Karen Sparck-Jones, Bonnie Lynn Webber (eds.),Readings in Natural Language Processing, Morgan Kauffman (1986)
Catriona M. Kennedy, “A Conceptual Foundation for Autonomous Learning in Unforeseen Situations”, Tech. Rpt. WV-98-01, Dresden Univ. Technology (1998); also on the Web at URL “http://citeseer.nj.nec.com/kennedy98conceptual.html” (availability last checked 17 February 2002)
Catriona M. Kennedy, “Distributed Reflective Architectures for Adjustable Autonomy”, in David Kortenkamp, Gregory Dorais, Karen L. Myers (eds.), Proceedings of IJCAI-99 Workshop on Adjustable Autonomy Systems, 1 August 1999, Stockholm, Sweden (1999); a similar note is on the web at URL “http://citeseer.nj.nec.com/kennedy99distributed.html” (availability last checked7 February 2002)
Gregor Kiczales, Jim des Rivières, Daniel G. Bobrow, The Art of the Meta-Object Protocol, MIT Press (1991)
Christopher A. Landauer, “Table Parser Description”, informal report (available from the author), Pattern Analysis and Recognition Corp. (1977)
Christopher Landauer, “Wrapping Mathematical Tools”, pp. 261–266 in Proceedings of EMC’90: The 1990 SCS Eastern MultiConference, 23-26 April 1990, Nashville, Tennessee, Simulation Series, Volume 22(3), SCS (1990); also pp. 415-419 in Proceedings of Interface’90: The 22nd Symposium on the Interface (between Computer Science and Statistics), 17-19 May 1990, East Lansing,ichigan (1990)
Christopher Landauer, “Wrapping Mathematical Tools for Design Analysis”, Proceedings of SOAR’90: The 1990 Conference on Space Operations, Automation, and Robotics, 26-28 June 1990, Albuquerque, New Mexico (1990)
Christopher Landauer, “Some Measurable Characteristics of Intelligence”, Paper WP 1.7.5, Proceedings of SMC’2000: The 2000 IEEE International Conference on Systems, Man, and Cybernetics (CD), 8-11 October 2000, Nashville Tennessee (2000)
Christopher Landauer, Kirstie L. Bellman, “The Role of Self-Referential Logics in a Software Architecture Using Wrappings”, Proceedings of ISS’ 93: the 3rd Irvine Software Symposium, 30 April 1993, U. C. Irvine, California (1993)
Christopher Landauer, Kirstie L. Bellman, “Mathematics and Linguistics”, pp. 153–158 in Alex Meystel, Jim Albus, R. Quintero (eds.), Intelligent Systems: A Semiotic Perspective, Proceedings of the 1996 International Multidisciplinary Conference, Volume I: Theoretical Semiotics, Workshop on New Mathematical Foundations for Computer Science, 20-23 October 1996, NIST, Gaithersburg,aryland (1996)
Christopher Landauer, Kirstie L. Bellman, “Computational Embodiment: Constructing Autonomous Software Systems”e, pp. 42–54 in Judith A. Lombardi (ed.), Continuing the Conversation: Dialogues in Cybernetics, Volume I, Proceedings of the 1997 ASC Conference, American Society for Cybernetics, 8-12 March 1997, U. Illinois (1997); pp. 131-168 in Cybernetics and systems: An International Journal, Volume 30, Number 2 (1999)
Christopher Landauer, Kirstie L. Bellman, “Situation Assessment via Computational Semiotics”, pp. 712–717 in Proceedings ISAS’98: the 1998 International MultiDisciplinary Conference on Intelligent Systems and Semiotics, 14-17 September 1998, NIST, Gaithersburg, Maryland (1998)
Christopher Landauer, Kirstie L. Bellman, “Generic Programming, Partial Evaluation, and a New Programming Paradigm”, Paper ETSPI02 in Proceedings of HICSS’99: The 32nd Hawaii Conference on System Sciences (CD), Track III: Emerging Technologies, Software Process Improvement Mini-Track, 5-8 January 1999, Maui, Hawaii (1999); revised and expanded version in Christopher Landauer,Kirstie L. Bellman, “Generic Programming, Partial Evaluation, and a New Programming Paradigm”, Chapter 8, pp. 108-154 in Gene McGuire (ed.), Software Process Improvement, Idea Group Publishing (1999)
Christopher Landauer, Kirstie L. Bellman, “Problem Posing Interpretation of Programming Languages”, Paper ETECC07 in Proceedings of HICSS’99: The 32nd Hawaii Conference on System Sciences (CD), Track III: Emerging Technologies, Engineering Complex Computing Systems Mini-Track, 5-8 January 1999, Maui, Hawaii (1999)
Christopher Landauer, Kirstie L. Bellman, “Computational Embodiment: Agents as Constructed Complex Systems”, Chapter 11, pp. 301–322 in [22]
Christopher Landauer, Kirstie L. Bellman, “Agent-Based Information Infrastructure”, in Proceedings of Agents’99/AOIS’99: Workshop on Agent-Oriented Information Systems, 1 May 1999, Seattle, Washington (1999)
Christopher Landauer, Kirstie L. Bellman, “New Architectures for Constructed Complex Systems”, in The 7th Bellman Continuum, International Workshop on Computation, Optimization and Control, 24-25 May 1999, Santa Fe, NM (1999); in Applied Mathematics and Computation, Volume 120, pp. 149–163(May 2001)
Christopher Landauer, Kirstie L. Bellman, “Lessons Learned with Wrapping Systems”, pp. 132–142 in Proceedings of ICECCS’99: the 5th International Conference on Engineering Complex Computing Systems, 18-22 October 1999, Las Vegas, Nevada (1999)
Christopher Landauer, Kirstie L. Bellman, “Architectures for Embodied Intelligence”, pp. 215–220 in Proceedings of ANNIE’99: The 1999 Artificial Neural Nets and Industrial Engineering Conference, Special Track on Bizarre Systems, 7-10 November 1999, St. Louis, Mo. (1999)
Christopher Landauer, Kirstie L. Bellman, “Symbol Systems in Constructed Complex Systems”, pp. 191–197 in Proceedings of ISIC/ISAS’99: The 1999 IEEE International Symposium on Intelligent Control, 15-17 September 1999, Cambridge, Massachusetts (1999)
Christopher Landauer, Kirstie L. Bellman, “Relationships and Actions in Conceptual Categories”, pp. 59–72 in G. Stumme (Ed.), Working with Conceptual Structures-Contributions to ICCS 2000, Auxiliary Proceedings of ICCS’2000: The 8th International Conference on Conceptual Structures, 14-18 August 2000, Darmstadt, Shaker Verlag, Aachen (August 2000)
Christopher Landauer, Kirstie L. Bellman, “Reflective Infrastructure for Autonomous Systems”, pp. 671–676, Volume 2 in Proceedings of EMCSR’2000: The 15th European Meeting on Cybernetics and Systems Research, Symposium on Autonomy Control: Lessons from the Emotional, 25-28 April 2000, Vienna(April 2000)
Christopher Landauer, Kirstie L. Bellman, “Symbol Systems and Meanings in Virtual Worlds”, Proceedings of VWsim’01: The 2001 Virtual Worlds and Simulation Conference, WMC’2001: The 2001 SCS Western MultiConference, 7-11 January 2001, Phoenix, SCS (2001)
Christopher Landauer, Kirstie L. Bellman, “Conceptual Modeling Systems: Active Knowledge Processes in Conceptual Categories”, pp. 131–144 in Guy W. Mineau (Ed.), Conceptual Structures: Extracting and Representing Semantics, Contributions to ICCS’2001: The 9th International Conference on Conceptual Structures, 30 July-03 August 2001, Stanford University (August 2001)
Christopher Landauer, Kirstie L. Bellman, “Intelligent System Architectures with Wrappings”, in Proceedings of CASYS’2001: The Fifth International Conference on Computing Anticipatory Systems, 13-18 August 2001, Lièege, Belgium (2001)
Christopher Landauer, Kirstie L. Bellman, “Architectures for Autonomous Computing Systems”, Proceedings of ANNIE’2001: The 2001 Artificial Neural Nets and Industrial Engineering Conference, Special Track on Bizarre Systems, 4-7 November 2001, St. Louis, Missouri (2001)
Christopher Landauer, Kirstie L. Bellman, “Abstraction Based Software System Design”, Proceedings of ANNIE’2001: The 2001 Artificial Neural Nets and Industrial Engineering Conference, 4-7 November 2001, St. Louis, Missouri (2001)
Christopher Landauer, Kirstie L. Bellman, “Computational Infrastructure for Experiments in Cognitive Leverage”, in Proceedings of CT’2001: The Fourth International Conference on Cognitive Technology: Instruments of Mind, 6-9 August 2001, Warwick, U.K. (2001)
Christopher Landauer, Kirstie L. Bellman, “Wrappings for One-of-a-Kind System Development”, Paper STSSV04 in Proceedings of HICSS’02: The 35th Hawaii International Conference on System Sciences (CD), Track IX: Software Technology, Advances in Software Specification and Verification Mini-Track, 7-10 January 2002, Waikoloa, Hawaii (Big Island) (2002)
Lars Löfgren, “Phenomena of Autonomy with Explanations in Introspective Language”; on the Web at URL “http://citeseer.nj.nec.com/176143.html” (availability last checked 17 February 2002)
Pattie Maes (ed.), Special Issues of Robotics and Autonomous Systems, Volume 6, Nos. 1 and 2 (June 1990); reprinted as Pattie Maes (ed.), Designing Autonomous Agents: Theory and Practice from Biology to Engineering and Back, MIT / Elsevier (1993)
Pattie Maes, D. Nardi (eds.), Meta-Level Architectures and Reflection, Proceedings of the Workshop on Meta-Level Architectures and Reflection, 27-30 October 1986, Alghero, Italy, North-Holland (1988)
Alex Meystel, “Multiresolutional Architectures for Autonomous Systems with Incomplete and Inadequate Knowledge Representations”, Chapter 7, pp. 159–223 in S. G. Tzafestas, H. B. Verbruggen (eds.), Artificial Intelligence in Industrial Decision Making, Control and Automation, Kluwer (1995)
Alex Meystel, Semiotic Modeling and Situation Analysis: An Introduction, AdRem, Inc. (1995)
Alexander M. Meystel, James S. Albus, Intelligent Systems: Architecture, Design, and Control, Wiley (2002)
Paolo Petta, “The Role of Emotions in a Tractable Architecture for Situated Cognizers”, (invited paper), Proceedings of a Workshop on Emotions in Humans and Artifacts, 13-14 August 1999, Vienna, Austria (1999)
Vaughan Pratt, “LINGOL — A Progress Report”, working paper 89, MIT (January 1975); also available via World-Wide Web at URL “http://boole.stanford.edu/pub/lingol75.ps.gz”, 26kb (availability last checked 20 October 1998)
Mary Shaw, William A. Wulf, “Tyrannical Languages still Preempt System Design”, pp. 200–211 in Proceedings of ICCL’92: The 1992 International Conference on Computer Languages, 20-23 April 1992, Oakland, California (1992); includes and comments on Mary Shaw, William A. Wulf, “Toward Relaxing Assumptions in Languages and their Implementations”, ACM SIGPLAN Notices, Volume 15,No. 3, pp. 45-51 (March 1980)
Guy L. Steele, Jr., Gerry J. Sussman, “The Art of the Interpreter, or, the Modularity Complex”, (Parts Zero, One, and Two), AI Memo 453, MIT (1978)
Peter Stone, Layered Learning in Multiagent Systems: A Winning Approach to Robotic Soccer, MIT Press (2000)
V. S. Subrahmanian, Piero Bonatti, Jürgen Dix, Thomas Eiter, Sarit Kraus, Fatma Ozcan, Robert Ross, Heterogeneous Agent Systems, MIT Press (2000)
Ken Thompson, “Reflections on Trusting Trust”, Communications of the ACM, Volume 27, Number 8, pp. 761–763(August 1984), also at URL “http://www.acm.org/classics/sep95/” (availability last checked 17 February 2002); see also the commentary in the “back door” entry of “The Jargon Lexicon”, which is widely available on the Web, and in particular, version 4.3.1 can beound at URL “http://www.tuxedo.org/~ esr/jargon/html/entry/back-door.html” (availability last checked 17 February 2002)
Pierre Wolper, “Temporal Logic can be More Expressive”, pp. 340–348 in Proceedings of FoCS 1981: The 22nd Annual IEEE Symposium on the Foundations of Computer Science, 28-30 October 1981, Nashville, Tennessee, IEEE (1981)
Pierre Wolper, “Specification and Synthesis of Communicating Processes using an Extended Temporal Logic”, pp. 20-33 in Proceedings of PoPL 82: The Ninth Annual ACM Symposium on Principles of Programming Languages, January 1982, Albuquerque, New Mexico, ACM (1982)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Landauer, C., Bellman, K.L. (2003). Self-modeling Systems. In: Laddaga, R., Shrobe, H., Robertson, P. (eds) Self-Adaptive Software: Applications. IWSAS 2001. Lecture Notes in Computer Science, vol 2614. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36554-0_18
Download citation
DOI: https://doi.org/10.1007/3-540-36554-0_18
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00731-9
Online ISBN: 978-3-540-36554-9
eBook Packages: Springer Book Archive