Integration science and distributed networks

Our work on integration of data and knowledge sources is based in a common theoretical treatment of 'Integration Science', which leads to systematic processes for combining formal logical and mathematical systems, computational and physical systems, and human systems and organizations. The theory is based on the processing of explicit meta-knowledge about the roles played by the different knowledge sources and the methods of analysis and semantic implications of the different data values, together with information about the context in which and the purpose for which they are being combined. The research treatment is primarily mathematical, and though this kind of integration mathematics is still under development, there are some applicable common threads that have emerged already. Instead of describing the current state of the mathematical investigations, since they are not yet crystallized enough for formalisms, we describe our applications of the approach in several different areas, including our focus area of 'Constructed Complex Systems', which are complex heterogeneous systems managed or mediated by computing systems. In this context, it is important to remember that all systems are embedded, all systems are autonomous, and that all systems are distributed networks.

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

[2]  Christopher Landauer,et al.  Virtual worlds as meeting places for formal systems , 2001, Appl. Math. Comput..

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

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

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

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

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

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

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

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

[11]  Christopher Landauer,et al.  11. Computational Embodiment: Agents as Constructed Complex Systems , 2000 .

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

[13]  Christopher Landauer,et al.  Process modeling in conceptual categories , 2000, Proceedings of the 33rd Annual Hawaii International Conference on System Sciences.

[14]  Paolo Ciancarini,et al.  Coordination models and languages as software integrators , 1996, CSUR.

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

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

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

[18]  Franco Zambonelli,et al.  Multiagent System Engineering: The Coordination Viewpoint , 1999, ATAL.

[19]  Christopher Landauer,et al.  Modeling current events , 2002, Proceedings of the 35th Annual Hawaii International Conference on System Sciences.

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

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

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

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

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