Skip to main content

Self-modeling Systems

Part of the Lecture Notes in Computer Science book series (LNCS,volume 2614)

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.

Key Phrases

  • Computational Reflection
  • Constructed Complex Systems
  • Integration Science
  • Knowledge-Based Polymorphism
  • Model-Based Design and Analysis
  • Problem-Posing Programming Paradigm
  • Wrapping Infrastructure

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/3-540-36554-0_18
  • Chapter length: 19 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   74.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-36554-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   99.00
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Harold Abelson, Gerald Sussman, with Julie Sussman, The Structure and Interpretation of Computer Programs, Bradford Books, now MIT Press (1985)

    Google Scholar 

  2. Peter Aczel, “Inductive Defenitions”, Chapter C.7, pp. 739–782 in [7]

    Google Scholar 

  3. 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)

    Google Scholar 

  4. Alfred V. Aho, Jeffrey D. Ullman, The Theory of Parsing, Translation, and Compiling, Volume I: Parsing, Prentice-Hall (1973)

    Google Scholar 

  5. James S. Albus, Alexander M. Meystel, Engineering of Mind: An Introduction to the Science of Intelligent Systems, Wiley (2001)

    Google Scholar 

  6. Dana Angluin, Carl H. Smith, “Inductive Inference: Theory and Methods”, Computing Surveys, Volume 15, Number 3, pp. 237–269(September 1983)

    CrossRef  MathSciNet  Google Scholar 

  7. Jon Barwise (ed.), Handbook of Mathematical Logic, Studies in Logic and the Foundations of Mathematics, Volume 90, North-Holland (1977)

    Google Scholar 

  8. 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)

    Google Scholar 

  9. 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)

    CrossRef  Google Scholar 

  10. 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)

    Google Scholar 

  11. 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)

    Google Scholar 

  12. 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)

    Google Scholar 

  13. Kirstie L. Bellman and Lou Goldberg, “Common Origin of Linguistic and Movement Abilities”, American Journal of Physiology, Volume 246, pp. R915–R921 (1984)

    Google Scholar 

  14. 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)

    Google Scholar 

  15. 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)

    MATH  CrossRef  MathSciNet  Google Scholar 

  16. Kirstie L. Bellman and Donald O. Walter, “Biological Processing”, American Journal of Physiology, Volume 246, pp. R860–R867 (1984)

    Google Scholar 

  17. Richard Bellman, P. Brock, “On the concepts of a problem and problem-solving”, American Mathematical Monthly, Volume 67, pp. 119–134 (1960)

    MATH  CrossRef  MathSciNet  Google Scholar 

  18. Jeffrey M. Bradshaw (ed.), Software Agents, AAAI Press (1997)

    Google Scholar 

  19. Rodney Brooks, Cambrian Intelligence: The Early History of the New AI, MIT (1999)

    Google Scholar 

  20. 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)

    Google Scholar 

  21. 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)

    Google Scholar 

  22. Kerstin Dautenhahn (ed.), Human Cognition and Social Agent Technology, Benjamins (2000)

    Google Scholar 

  23. 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)

  24. 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)

    Google Scholar 

  25. 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)

    Google Scholar 

  26. 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)

    MATH  CrossRef  Google Scholar 

  27. 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)

    Google Scholar 

  28. 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)

    CrossRef  Google Scholar 

  29. 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)

  30. Bart Jacobs, Jan Rutten, “A Tutorial on (Co)Algebras and (Co)Induction”, EATCS Bulletin, Volume 62, pp. 222–259 (1997)

    MATH  Google Scholar 

  31. 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)

    Google Scholar 

  32. 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)

  33. 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)

  34. Gregor Kiczales, Jim des Rivières, Daniel G. Bobrow, The Art of the Meta-Object Protocol, MIT Press (1991)

    Google Scholar 

  35. Christopher A. Landauer, “Table Parser Description”, informal report (available from the author), Pattern Analysis and Recognition Corp. (1977)

    Google Scholar 

  36. 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)

    Google Scholar 

  37. 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)

    Google Scholar 

  38. 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)

    Google Scholar 

  39. 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)

    Google Scholar 

  40. 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)

    Google Scholar 

  41. 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)

    Google Scholar 

  42. 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)

    Google Scholar 

  43. 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)

    Google Scholar 

  44. 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)

    Google Scholar 

  45. Christopher Landauer, Kirstie L. Bellman, “Computational Embodiment: Agents as Constructed Complex Systems”, Chapter 11, pp. 301–322 in [22]

    Google Scholar 

  46. 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)

    Google Scholar 

  47. 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)

    Google Scholar 

  48. 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)

    Google Scholar 

  49. 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)

    Google Scholar 

  50. 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)

    Google Scholar 

  51. 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)

    Google Scholar 

  52. 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)

    Google Scholar 

  53. 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)

    Google Scholar 

  54. 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)

    Google Scholar 

  55. 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)

    Google Scholar 

  56. 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)

    Google Scholar 

  57. 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)

    Google Scholar 

  58. 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)

    Google Scholar 

  59. 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)

    Google Scholar 

  60. 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)

  61. 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)

    Google Scholar 

  62. 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)

    Google Scholar 

  63. 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)

    Google Scholar 

  64. Alex Meystel, Semiotic Modeling and Situation Analysis: An Introduction, AdRem, Inc. (1995)

    Google Scholar 

  65. Alexander M. Meystel, James S. Albus, Intelligent Systems: Architecture, Design, and Control, Wiley (2002)

    Google Scholar 

  66. 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)

    Google Scholar 

  67. 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)

  68. 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)

    Google Scholar 

  69. 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)

    Google Scholar 

  70. Peter Stone, Layered Learning in Multiagent Systems: A Winning Approach to Robotic Soccer, MIT Press (2000)

    Google Scholar 

  71. V. S. Subrahmanian, Piero Bonatti, Jürgen Dix, Thomas Eiter, Sarit Kraus, Fatma Ozcan, Robert Ross, Heterogeneous Agent Systems, MIT Press (2000)

    Google Scholar 

  72. 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)

    CrossRef  Google Scholar 

  73. 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)

    Google Scholar 

  74. 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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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