New architectures for constructed complex systems

This paper is an overview of our research program in intelligent systems. Our object of study is constructed complex systems, which are software and hardware systems mediated or managed by computers. We describe how biological systems provide stiff competition for constructed complex systems in the areas of autonomy and intelligence, robustness, adaptability, and communication. We describe our computationally reflective integration infrastructure, called `wrappings', and show how it can provide many of the necessary flexibilities. We also describe two directions of research in computational semiotics, which for us means the study of the use of symbols by computing systems. We describe our `conceptual categories', which are a method of knowledge representation that supports these flexibilities, and some new results on symbol systems, which leads to some new mathematical questions about what can be represented in formal systems and how they can be extended automatically. These are then combined to describe our architecture, which we are currently in the process of implementing.

[1]  A. M. Meystel,et al.  Intelligent systems: a semiotic perspective , 1996, Proceedings of the 1996 IEEE International Symposium on Intelligent Control.

[2]  Beat Kleiner,et al.  Graphical Methods for Data Analysis , 1983 .

[3]  Mark Jeffrey Stefik.  Planning with constraints , 1980 .

[4]  Martin Kay,et al.  Algorithm schemata and data structures in syntactic processing , 1986 .

[5]  Earl D. Sacerdoti,et al.  Planning in a Hierarchy of Abstraction Spaces , 1974, IJCAI.

[6]  Pierre Wolper.  Temporal Logic Can Be More Expressive , 1983, Inf. Control..

[7]  Mary Shaw.  Procedure Calls Are the Assembly Language of Software Interconnection: Connectors Deserve First-Class Status , 1993, ICSE Workshop on Studies of Software Design.

[8]  Mark Stefik,et al.  Planning with Constraints (MOLGEN: Part 1) , 1981, Artif. Intell..

[9]  Janet L. Kolodner,et al.  Case-Based Reasoning , 1989, IJCAI 1989.

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

[11]  Earl D. Sacerdoti,et al.  The Nonlinear Nature of Plans , 1975, IJCAI.

[12]  Mark Stefik,et al.  Planning and Meta-Planning (MOLGEN: Part 2) , 1981, Artif. Intell..

[13]  Eberhardt Rechtin.  Systems Architecting: Creating & Building Complex Systems , 1990 .

[14]  K. L. Bellman.  Sharing work, experience, interpretation, and maybe even meanings between natural and artificial agents , 1997, 1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation.

[15]  E. Wigner.  The Unreasonable Effectiveness of Mathematics in the Natural Sciences (reprint) , 1960 .

[16]  David W. Payton,et al.  Internalized plans: A representation for action resources , 1990, Robotics Auton. Syst..

[17]  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 .

[18]  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.

[19]  Mary Shaw,et al.  Software architecture - perspectives on an emerging discipline , 1996 .

[20]  Kristian J. Hammond,et al.  CHEF: A Model of Case-Based Planning , 1986, AAAI.

[21]  Tim Smithers,et al.  Symbol grounding via a hybrid architecture in an autonomous assembly system , 1990, Robotics Auton. Syst..

[22]  David Garlan,et al.  Introduction to the Special Issue on Software Architecture , 1995, IEEE Trans. Software Eng..

[23]  Olivier Danvy,et al.  Tutorial notes on partial evaluation , 1993, POPL '93.

[24]  Pattie Maes.  Concepts and experiments in computational reflection , 1987, OOPSLA 1987.

[25]  Richard Bellman,et al.  Local and fuzzy logics , 1996 .

[26]  John W. Tukey,et al.  Exploratory Data Analysis. , 1979 .

[27]  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.

[28]  Pattie Maes,et al.  Meta-Level Architectures and Reflection , 1988 .

[29]  Alex Quilici,et al.  A knowledge-based approach to encouraging reuse of simulation and modeling programs , 1992, Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering.

[30]  Neil D. Jones,et al.  An introduction to partial evaluation , 1996, CSUR.

[31]  David Gelernter,et al.  Generative communication in Linda , 1985, TOPL.

[32]  Paolo Ciancarini,et al.  Coordinating rule-based software processes with ESP , 1993, TSEM.

[33]  John M. Chambers,et al.  Computational Methods for Data Analysis. , 1978 .

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

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

[36]  C. Landauer.  Correctness principles for rule-based expert systems☆ , 1990 .

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

[38]  Mary Shaw,et al.  Abstractions for Software Architecture and Tools to Support Them , 1995, IEEE Trans. Software Eng..

[39]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[40]  Peter Sestoft,et al.  Partial evaluation and automatic program generation , 1993, Prentice Hall international series in computer science.

[41]  R. Kruse,et al.  Statistics with vague data , 1987 .

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

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

[44]  Fausto Giunchiglia,et al.  Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems , 1994, FroCoS.

[45]  Paul R. Cohen,et al.  Integrating statistical methods for characterizing causal influences on planner behavior over time , 1994, Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94.

[46]  Pattie Maes,et al.  Situated agents can have goals , 1990, Robotics Auton. Syst..

[47]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[48]  Brian Cantwell Smith,et al.  Reflection and semantics in LISP , 1984, POPL.

[49]  Z. Pawlak.  Rough Sets: Theoretical Aspects of Reasoning about Data , 1991 .

[50]  Pattie Maes,et al.  Computational reflection , 1987, The Knowledge Engineering Review.

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

[52]  Robert M. MacGregor,et al.  Using a description classifier to enhance knowledge representation , 1991, IEEE Expert.

[53]  J. Barwise,et al.  The Liar: An Essay on Truth and Circularity , 1987 .

[54]  K.L. Bellman,et al.  Wrappings for software development , 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.

[55]  Kirstie L. Bellman,et al.  The modeling issues inherent in testing and evaluating knowledge-based systems , 1990 .

[56]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

[57]  Timothy A. Budd,et al.  Multiparadigm programming in Leda , 1994 .

[58]  R. Kent Dybvig,et al.  The Scheme Programming Language , 1995 .

[59]  Brian Cantwell Smith,et al.  Varieties of Self-Reference , 1986, TARK.

[60]  John C. Bean,et al.  Writing Arguments : A Rhetoric with Readings , 1997 .

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

[62]  Kristian J. Hammond,et al.  Case-Based Planning: Viewing Planning as a Memory Task , 1989 .

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

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

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

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

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

[68]  Rudolf Kruse,et al.  Symbolic and Quantitative Approaches to Uncertainty , 1991, Lecture Notes in Computer Science.

[69]  Earl David Sacerdoti,et al.  A Structure for Plans and Behavior , 1977 .

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

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