Advertisement

Integration Systems and Interaction Spaces

Chapter
Part of the Applied Logic Series book series (APLS, volume 3)

Abstract

Integration systems are abstract methods of combining theories, computational paradigms, algorithms, and other rule-driven symbolic processing systems. This paper discusses our hopes and our progress in creating a principled approach to a theory of integration for large systems. First, we discuss two types of integration systems, distinguished by the flexibility of the integration process and the types of infrastructure that they retain. In the next section of the paper, we present our approach to creating an integration infrastructure through the processing of explicit meta-knowledge. In the following section, we introduce some work on combining wrappings with text-based Virtual Reality environments to form a new kind of integration infrastructure, and in the last section, we discuss the requirements for formalisms that have emerged from working in these testbeds. This research was supported in part by the Aerospace Corporation’s Sponsored Research Program, by the Federal Highway Administration’s Office of Advanced Research, and by the Advanced Research Projects Agency’s Software and Intelligent Systems Technology Office.

Keywords

Study Manager Construction Language Interaction Space Space Debris Object Behavior 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. David Applegate, James Aspnes, Timothy Freeman, and Bennet Yee, TinyMUD,source code available via anonymous ftp from ftp.math.okstate.edu, in directory /pub/muds/servers/, in file tinymud-1.5.4.tar.Z (availability last checked 16 October 1995Google Scholar
  2. Richard Bartle, “Interactive Multi-User Computer Games”, MUSE, Ltd. (December 1990), available via anonymous ftp from parcftp.parc.xerox.com, in directory /pub/MOO/papers/, in files mudreport.* (availability last checked 16 October 1995)Google Scholar
  3. Kirstie L. Bellman, “The Modelling Issues Inherent in Testing and Evaluating Knowledge- based Systems”, Expert Systems With Applications Journal, Vol. 1, pp. 199–215 (1990)CrossRefGoogle Scholar
  4. 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); revised version in Kirstie L. Bellman, Christopher Landauer, “Flexible Software Environments Supporting the Design of Complex Systems”, Proceedings of the Artificial Intelligence in Logistics Meeting, 8–10 March 1993, Williamsburg, Va., American Defense Preparedness Association (1993)Google Scholar
  5. Kirstie L. Bellman and April Gillam, “A knowledge-based approach to the conceptual design of space systems”, 23–27 in Proceedings of the 1988 SCS Eastern Multi- Conference, March 1988, The Society for Computer Simulation (1988)Google Scholar
  6. Kirstie L. Bellman and April Gillam, “Achieving Openness and Flexibility in VEHICLES”, pp. 255–260 in Proceedings of the SCS Eastern MultiConference, 23–26 April 1990, Nashville, Tennessee, Simulation Series, Vol. 22, No. 3, SCS (1990)Google Scholar
  7. Kirstie L. Bellman, April Gillam, and Christopher Landauer, “Challenges for Conceptual Design Environments: The VEHICLES Experience”, Revue Internationale de CFA 0 et d’Infographie, Hermes, Paris September 1993Google Scholar
  8. Kirstie L. Bellman and Lou Goldberg, “Common Origin of Linguistic and Movement Abilities”, American Journal of Physiology, Vol. 246, pp. R915-R921 (1984)Google Scholar
  9. Dr.Kirstie L. Bellman, Captain A1 Reinhardt, USAF, “Debris Analysis Workstation: A Modelling Environment for Studies on Space Debris”, Proceedings of the First European Conference on Space Debris, 5–7 April 1993, Darmstadt, Germany (1993)Google Scholar
  10. Kirstie L. Bellman and Donald O. Walter, Biological Processing,American Journal of Physiology Vol.246, R860-R867(1984)Google Scholar
  11. Richard Bellman, P.Brock, “On the concepts of a problem and problem-solving”, American Mathematical Monthly, Vol. 67,119–134(1960)CrossRefzbMATHMathSciNetGoogle Scholar
  12. David D. Clark, “The Design Philosophy of the DARPA Internet Protocols”,106–114 in Proceedings ACM SIGCOMM 1988 Symposium on Communications Architectures and Protocols, 16–19 August 1988, Stanford, California 1988Google Scholar
  13. John P. Crane, DragonMUD, accessible via telnet (or other MUD clients) at tinylon- don.ucsd.edu 4201 (availability last checked 20 December 1995Google Scholar
  14. Pavel Curtis, “Mudding: Social Phenomena in Text-Based Virtual Realities”, in Proceedings 1992 Conference on Directions and Implications of Advanced Computing, Berkeley, May 1992, also available as Xerox PARC technical report CSL-92–4, also available via anonymous ftp from parcftp.parc.xerox.com, in directory /pub/MOO/papers/, in files DIAC92.* (availability last checked 16 October 1995)Google Scholar
  15. Pavel Curtis and David A. Nichols, “MUDs Grow Up: Social Virtual Reality in the Real World”, available via anonymous ftp from parcftp.parc.xerox.com, in directory /pub/MOO/papers/, in files MUDsGrowUP.* (availability last checked 16 October 1995Google Scholar
  16. Pavel Curtis, Stephen White, LambdaMOO, accessible via telnet or other clients at lambda.paxc.xerox.com 8888, source code available via anonymous ftp from ftp.parc.xerox.com, in directory /pub/MOO/, in files LambdaMOO-1.7.8p4.tar.Z and others (availability last checked 16 October 1995)Google Scholar
  17. Paul A.Fishwick,Richard B. Modjeski (eds.),Knowledge-Based Simulation, Springer 1991zbMATHGoogle Scholar
  18. Michael R.Genesereth,Richard E.Fikes, “Knowledge Interchange Format Version 2 Reference Manual”,Logic-91–3,Stanford U.Logic Group(1991Google Scholar
  19. Brandon Gillespie ColdX, source code available via WWW at URL ftp://sticky.usu.edu/ pub/brandon/coldmud/drivers/ (availability last checked 16 October 1995)Google Scholar
  20. F. Giunchiglia, P. Pecchiari, C. L. Talcott, “Reasoning Theories: Towards An Architecture for Open Mechanized Reasoning Systems”, IRST Technical Report 9409–15 and Stanford University Technical Note STAN-CS-TN-94–15 (December 1994); also available by anonymous ftp from sail.stanford.edu, file /pub/MT/94omrs.ps.ZGoogle Scholar
  21. Tom Gruber, “Knowledge Sharing Effort public library”, abstracts on World-WTide Web page, http://www-ksl.stanford.edu/knowledge-sharing, papers accessible via anonymous ftp, from ksl.stanford.edu, in directory /pub/knowledge-sharing/papers (availability last checked 16 October 1995)Google Scholar
  22. Greg Hudson, ColdMUD, source code available via anonymous ftp from ftp.math.okstate.edu, in directory /pub/muds/servers/, in file coldmud-0.10.2.tar.gz (availability last checked 16 October 1995); newer versions available via WWW at URL http://web.mit.edu/ afs/sipb/project /coldmud/ release/coldmud-0.10/coldmud-0.10. tax.gz, documenta- tion at URL http://web.mit.edu/ afs/sipb/project/coldmud/ doc/coldmud.ps (availability last checked 16 October 1995)Google Scholar
  23. Christopher Landauer, “Wrapping Mathematical Tools”, pp. 261–266 in Proceedings of the 1990 SCS Eastern MultiConference, 23–26 April 1990, Nashville, Tennessee, Simulation Series, Vol. 22, No. 3, SCS (1990); also pp. 415–419 in Proceedings of the 22nd Symposium on the Interface (between Computer Science and Statistics), 17–19 May 1990, East Lansing, Michigan (1990)Google Scholar
  24. Christopher Landauer, Kirstie L. Bellman, “Integrated Simulation Environments” (invited paper), Proceedings of DARPA Variable-Resolution Modeling Conference, 5–6 May 1992, Herndon, Virginia, Conference Proceedings CF-103-DARPA, published by RAND (March 1993); shortened version in Christopher Landauer, Kirstie Bellman, “Integrated Simulation Environments”, Proceedings of the Artificial Intelligence in Logistics Meeting, 8–10 March 1993, Williamsburg, Va., American Defense Preparedness Association (1993)Google Scholar
  25. 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
  26. Christopher Landauer, Kirstie L. Bellman, “New Mathematical Foundations for Computer Science”, Initiative announcement available via anonymous ftp from aerospace, aero, org, in directory /pub/newmath, in file workbook.html, and from WWW at URL http://www.cs.umd.edu/~cal/newmath.html (original July 1994), revision 1.4 (February 1995) (availability last checked 16 October 1995)Google Scholar
  27. Christopher Landauer, Kirstie L. Bellman, “The Organization and Active Processing of Met a-Knowledge for Large-Scale Dynamic Integration”, 149–160 in Proceedings 10th IEEE International Symposium on Intelligent Control, Workshop on Architectures for Semiotic Modeling and Situation Analysis in Large Complex Systems, 27–30 August 1995, Monterey (August 1995)Google Scholar
  28. Pattie Maes (ed.), Special Issues of Robotics and Autonomous Systems, Vol. 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
  29. 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
  30. Robert MacGregor, “The Evolving Technology of Classification-Based Knowledge Representation Systems”,385–400 in John F. Sowa (ed.),Principles of Semantic Networks: Explorations in the Representation of Knowledge Morgan Kaufman (1991)Google Scholar
  31. Robert MacGregor, Mark H. Burstein, “Using a Description Classifier to Enhance Knowledge Representation”,IEEE Expert, Vol. 6, No 3,41–46 (June 1991)CrossRefGoogle Scholar
  32. Lawrence H. Miller, and Alex Quilici, “A Knowledge-Based Approach to Encouraging Reuse of Simulation and Modeling Programs”, in Proceedings of SEKE’92: The Fourth International Conference on Software Engineering and Knowledge Engineering, IEEE Press (June 1992)Google Scholar
  33. Mike O’Brien, “Playing in the MUD”, Ask Mr. Protocol Column,SUN Expert,Vol.3 No.5 .19–20, 23, 25–27 May 1992)MathSciNetGoogle Scholar
  34. R. Riner and J. Clodius, “Simulating Future Histories”, Anthropology and Education Quarterly (Fall 1994)Google Scholar
  35. Carolyn L. Talcott, “Reasoning Specialists Should Be Logical Services, Not Black Boxes”, pp. 1–6 in Proceedings of CADE-12 workshop on Theory Reasoning in Automated Deduction, 26 June - 1 July, Nancy (1994); also available through anonymous ftp from sail.stanford.edu, in file /pub/MT/94cade-tr-work.ps.ZGoogle Scholar
  36. Donald O. Walter, Kirstie L. Bellman, “Some Issues in Model Integration”, pp. 249- 254 in Proceedings of the SCS Eastern MultiConference, 23–26 April 1990, Nashville, Tennessee, Simulation Series, Vol. 22,No.3,SCS(1990)Google Scholar
  37. Stephen White, CoolMUD, source code available via anonymous ftp from ftp.math.okstate.edu, in directory /pub/muds/servers/, in file coolmud2.1.4.tar.gz (availability last checked 16 October 1995)Google Scholar
  38. Lawrence E.Widman Kenneth A. Loparo, Norman R. Neilson (eds.),Artificial Intelligence, Simulation and Modeling, Wiley (1989)Google Scholar
  39. Bernard P.Zeigler, Object-Oriented Simulation with Hierarchical, Modular Models, Academic Press(1990)zbMATHGoogle Scholar

Copyright information

© Springer Science+Business Media New York 1996

Authors and Affiliations

  1. 1.The Aerospace CorporationHerndonUSA
  2. 2.Advanced Research Projects AgencyArlingtonUSA

Personalised recommendations