Computational embodiment: Constructing autonomous software systems

Cybernetics and Systems

Volumn 30, Issue 2, 1999, Pages 131-168

  Landauer, Christopher ^a   Bellman, Kirstie L ^a  

^a AEROSPACE CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; HUMAN COMPUTER INTERACTION; MAN MACHINE SYSTEMS; USER INTERFACES;

AUTONOMOUS SOFTWARE SYSTEMS; COMPUTATIONAL EMBODIMENT; WRAPPING METHOD;

SOFTWARE ENGINEERING;

EID: 0033097815     PISSN: 01969722     EISSN: 10876553     Source Type: Journal    
DOI: 10.1080/019697299125325     Document Type: Article

References (67)

1. Aczel, P. 1988. Non -Well-Founded Sets. CSLI Lecture Notes 14, Center for the Study of Language and Information, Stanford, CA. University of Chicago Press.
2. Allen, R., and D. Garlan. March 1994. Formal Connectors. CMU-CS-94-115. Carnegie-Mellan University, Pittsburgh, PA.
3. Applegate, D., J. Aspnes, T. Freeman, and B. Yee. 1991. TinyMUD. Source code available via anonymous ftp from host ftp.math.okstate.edu, in file/pub/muds/servers/tinymud-1.5.4.tar.Z, 130Kb.
4. Bartle, R. 1990. Interactive Multi-User Computer Games. MUSE, Ltd. Available via anonymous ftp from host ftp.lambda.moo.mud.org, in file /pub/ MOO /papers/mudreport.* (.ps.Z is 160kb), 406Kb.
5. Barwise, J., and J. Etchemendy. 1987. The Liar: An Essay on Truth and Circularity. London: Oxford University Press.
6. Bellman, K. L. 1990. The modelling issues inherent in testing and evaluating knowledge-based systems'' In Special Issue: Verification and Validation of Knowledge Based Systems, Expert Systems With Application Journal 1:109-215.
7. Bellman, K. L. 1991. An approach to integrating and creating flexible software environments supporting the design of complex systems. In Proc. WSC’91: The 1991 Winter Simulation Conference, 8-11 December 1991, Phoenix, AZ; revised version in K. L. Bellman and C. Landauer, Flexible software environments supporting the design of complex systems. In Proc. Artificial Intelligence in Logistics Meeting, 8-10 March 1993, Williamsburg, VA, American Defense Preparedness Association.
8. Bellman, K. L. 1996. When intelligence is in control. In Intelligent Systems: A Semiotic Perspective, Proceedings of the 1996 International Multidisciplinary Conference; Volume I: Theoretic Semiotics, Workshop on Biologically Inspired Complex Systems, 20-23 October, Gaithersburg, MD, 10-12.
9. Bellman, K. L. 1997. Sharing work, experience, interpretation, and maybe even meanings between natural and artificial agents. In Proc. SMC’97: The 1997 IEEE International Conference on Systems, Man, and Cybernetics, 12-15 October, Orlando, FL, 4127-4132.
10. Bellman, K. L. and L. Goldberg. 1984. Common origin of linguistic and movement abilities. Amer. J. Physiology 246:R915-R921.
11. Bellman, K. L. and C. Landauer. 1997. A note on improving the capabilities of software agents. In Proc. AA’97: The First International Conference on Autonomous Agents, 5-8 February, Marina Del Rey, 512-513.
12. Bellman, K. L. and D. O. Walter. 1984. Biological processing. Amer. J. Physiology 246:R860 - R867.
13. Bellman, R., and P. Brock. 1960. On the concepts of a problem and problemsolving. Amer. Math. Monthly 67:119-134.
14. Brodie, M. L., J. Mylopoulos, and J. W. Schmidt (eds.) 1984. Conceptual Modeling. New York: Springer.
15. Bond, A. H., and L. Gasser (eds.) 1988. Readings in Distributed Artificial Intelligence. San Francisco: Morgan Kauffmann.
16. Clark, D. D. 1988. The design philosophy of the DARPA internet protocols. In Proc. ACM SIG COMM 1988 Symposium on Communication Architectures and Protocols, 16-19 August, Stanford, CA, 106-114.
17. Curtis, P. 1992. Mudding: Social phenomena in text-based virtual realities. In Proc. DIAC’92: 1992 Conference on Direction and Implications of Advanced Computing, Berkeley, CA; also available as Xerox, PARC Technical Report CSL-92-4; also available via anonymous ftp from host ftp.parc.xerox.com, in file /pub/MOO/papers/DIAC92.* (.ps.Z is 62kb).
18. Curtis, P. and D. A. Nichols, 1993. MUDs Grow Up: Social Virtual Reality in the Real World. Available via anonymous ftp from host ftp.parc.xerox.com, in file /pub/MOO/papers/MUDsGrowUP.* (.ps is 126kb).
19. Davis, P. K. 1992. An Introduction to Variable-Resolution Modeling and Cross-Resolution Model Connection. RAND Report R-4252-DARPA. RAND Corp.
20. Davis, P. K. and R. Hillestad (eds.) 1992. Proc. DARPA Variable-Resolution Modeling Conference, 5-6 May, Herndon, VA, Conference Proc. CF-103-DARPA, RAND Corp.
21. Garlan, D., and D. E. Perry (eds.). 1994. Special issue on software architecture. IEEE Trans. Software Engineering SE-21(4).
22. Graham, S. L., M. A. Harrison, and W. L. Ruzzo. 1980. An improved context-free recognizer. ACM Trans. Programming Languages and Systems 2(3):415 -462.
23. Hayes-Roth, B., K. Pfleger, P. Lalanda, P. Morignot, and M. Balabanovic. 1995. A domain-specific software architecture for adaptive intelligent systems. IEEE Trans. Software Engineering SE-21(4):288-301.
24. Hewitt, C., and P. de Jong. 1984. Open systems. In Conceptual Modeling, Brodie et al. (eds.). 147-164. New York: Springer.
25. Hewitt, C., and J. Inman. 1991. DAI betwixt and between: From “intelligent agents” to open systems science. IEEE Trans. Systems, Man, and Cybernetics SMC-21(6):1409 -1419.
26. Kay, M. 1980. Algorithm Schemata and Data Structures in Syntactic Processing. Report CSL-80-12, Palo Alto, CA: Xerox PARC.
27. Kiczales, G., J. des Rivieres, and D. G. Bobrow. 1991. The Art of the Meta-Object Protocol. Cambridge, MA: MIT Press.
28. Lakoff, G. 1987. Women, Fire, and Dangerous Things. Chicago: University of Chicago Press.
29. Landauer, C. A. 1977. Table Parser Description, Informal Report. Pattern Analysis and Recognition Corp., Rome, NY.
30. Landauer, C. 1990a. Wrapping mathematical tools. In Proc. 1990 SCS Eastern Multi Conference, 23-26 April, Nashville, TN, Simulation Series, 22:261-266.
31. Landauer, C. 1990b. Correctness principles for rule-based expert systems. Special Issue: Verification and Validation of Knowledge Based Systems, Expert Systems With Applications Journal. 1:291-316.
32. Landauer, C. 1996. Constructing autonomous software systems. Workshop on Biologically Inspired Autonomous Systems: Computation, Cognition, and Action, 4-5 March, Durham, NC.
33. Landauer, C., and K. L. Bellman. 1992. Integrated simulation environments. In Proc. DARPA Variable-Resolution Modeling Conference, 5-6 May, Herndon, VA Conference Proc., P. K. Davis and R. Hillestad (eds.). 409-431.
34. Landauer, C., and K. L. Bellman. 1993. The role of self-referential logics in a software architecture using wrappings. In Proc. ISS’93: The 3rd Irvine Software Symposium, 30 April, University California Irvine, CA.
35. Landauer, C., and K. L. Bellman. 1994. New Mathematical Foundations for Computer Science. Initiative announcement available and from WWW at URL ftp://www.cs.umd.edu/cal/newmath.html (original July 1994).
36. Landauer, C., and K. L. Bellman. 1995a. The organization and active processing of meta-knowledge for large-scale dynamic integration. In Proc. 10 th IEEE International Symposium on Intelligent Control, Workshop on Architectures for Semiotic Modeling and Situation Analysis in Large Complex Systems, 27-30 August, 149-160, Monterey, CA.
37. Landauer, C., and K. L. Bellman. 1995b. Active integration frameworks. In Proc. IEEE International Conference on Engineering of Complex Computing Systems, 6-10 November, Ft. Lauderdale, FLA.
38. Landauer, C., and K. L. Bellman. 1996a. Knowledge-based integration infrastructure for complex systems. Internat. J. Intelligent Control and Systems 1:133-153.
39. Landauer, C., and K. L. Bellman. 1996b. Integration systems and interaction spaces. In Proc. First International Workshop on Frontiers of Combining Systems, 26-29 March, 161 -178, Munich.
40. Landauer, C., and K. L. Bellman. 1996c. Constructed complex systems: Issues, architectures and wrappings. In Proc. EMCSR 96: Thirteenth European Meeting on Cybernetics and Systems Research, Symposium on Complex Systems Analysis and Design, 9-12 April, 233-238, Vienna.
41. Landauer, C., and K. L. Bellman. 1996d. Semiotics of constructed complex systems. In Intelligent Systems: A Semiotic Perspective, Proc. 1996 International Multidisciplinary Conference, Volume I: Theoretical Semiotics, Workshop on Intelligence in Constructed Complex Systems, 20-23 October, 35-40, Gaithersburg, MD.
42. Landauer, C., and K. L. Bellman. 1996e. Mathematics and linguistics. In Intelligent Systems: A Semiotic Perspective, Proc. the 1996 International Multidisciplinary Conference, Volume I: Theoretical Semiotics, Workshop on New Mathematical Foundation for Computer Science, 20-23 October, 153-158. Gaithersburg, MD.
43. Landauer, C., and K. L. Bellman. 1997a. Model-based simulation design with wrappings. In Proc. OOS’97: Object Oriented Simulation Conference, WMC’97: 1997 SCS Western Multi-Conference, 12-15 January, 169-174. Phoenix, AZ: SCS International.
44. Landauer, C., and K. L. Bellman. 1997b. Computational embodiment: constructing autonomous software systems. In Continuing the Conversation: Dialogues in Cybernetics, Volume I, Proc. 1997 ASC Conference, American Society for Cybernetics, 8-12 March, ed. J. A. Lombardi, 42-54. Chicago: University Illinois.
45. Landauer, C., and K. L. Bellman. 1998a. MUDs, integration spaces, and learning environments. 31st Hawaii Conference on System Sciences, Volume I: Collaboration Technologies, 6-9 January, Kona, Hawaii.
46. Landauer, C., and K. L. Bellman. 1998b. Wrappings for software development,” pp. 420-429 in 31st Hawaii Conference on System Sciences, Volume III: Emerging Technologies, 6-9 January, Kona, HI.
47. Landauer, C., K. L. Bellman, and A. Gillam. 1993. Software infrastructure for system engineering support. In Proceedings AAAI’93 Workshop on Artificial Intelligence for Software Engineering, 12 July, Washington, D.C.
48. Landauer, C., and V. Polichar. 1998. More than shared artifacts: Collaboration via shared presence in MUDs. In Proc. WET-ICE’98: Workshop on Enabling Technologies for Interactive Collaborative Environments, Symposium on Web Infrastructure for Collaborative Enterprises, 17-19 June, Stanford, CA, pp. 182-189.
49. Luger, G. F., with P. Johnson, C. Stern, J. E. Newman, and R. Yeo. 1994. Cognitive Science: The Science of Intelligent Systems. New York: Academic Press.
50. Luger, G. F. (ed.). 1995. Computation and Intelligence: Collected Readings. AAAI. Cambridge, MA: MIT.
51. Maes, P. 1990a. Situated agents can have goals. Robotics and Autonomous Systems 6:49-70.
52. Maes, P. (ed.). 1990b. Robotics and Autonomous Systems 6(1 -2); reprinted as P. Maes (ed.), Designing Autonomous Agents: Theory and Practice from Biology to Engineering and Back. Cambridge, MA: MIT/Elsevier, 1993.
53. Maes, P., and D. Nardi (eds.) 1988. Meta-level architectures and reflection. In Proc. Workshop on Meta-Level Architectures and Reflection, 27-30 October 1986, Alghero, Italy. Amsterdam: North - Holland.
54. Malcolm, C., and T. Smithers. 1990. Symbol grounding via a hybrid architecture in an autonomous assembly system. Robotics and Autonomous Systems 6:123-144.
55. Meystel, A. 1995a. Multiresolutional architectures for autonomous systems with incomplete and inadequate knowledge representations. In Artificial Intelligence in Industrial Decision Making, Control and Automation, S. G. Tzafestas and H. B. Verbruggen (eds.). Norwell, MA: Kluwer.
56. Meystel, A. 1995b. Semiotic Modeling and Situation Analysis: An Introduction. Bald Cynwyd, PA: AdRem.
57. Minsky, M. Summer 1991. Logical versus analogical or symbolic versus connectionist or neat versus scruffy. AI Magazine 12(2):52-69.
58. O Brien, M. May 1992. Playing in the MUD, Ask Mr. Protocol Column, SUN Expert 3(5):19-20, 23, 25-27.
59. Pack Kaelbling, L., and S. J. Rosenschein. 1990. Action and planning in embedded agents. Robotics and Autonomous Systems 6(1-2):35-48.
60. Pack Kaelbling, L. 1993. Learning in Embedded Systems. Cambridge, MA: MIT Press.
61. Polichar, V. E. May 1996. An Office MUD for Fun and Profit? Or Maybe Just Better Communication,;login magazine.
62. Pratt, V. Jan. 1975. LINGOL-A Progress Report, Working Paper 89, MIT; also available via World-Wide Web at URL http://boole.stanford.edu:80 r pub r lingol75ps.gz, 26kb.
63. Riner, R., and J. Clodius. March 1995. Simulating future histories. Anthropology and Education Quarterly.
64. Shaw, M. January 1994. Procedure calls are the assembly language of software interconnection. Connectors Deserve First-Class Status, CMU-CS-94-107, Carnegie-Mellon University, Pittsburgh, PA.
65. Shaw, M., R. DeLine, D. V. Klein, T. L. Ross, D. M. Young, and G. Zelesik. 1995. Abstraction for software architecture and tools to support them. IEEE Trans. Software Engrg. SE-21:314-335.
66. Smith, B. C. 1984. Reflection and semantics in LISP. In Proc. PoPL’84: The Eleventh Annual ACM Symposium on Principles of Programming Languages, 15-18 January, Salt Lake City, UT.
67. Smith, B. C. 1986. Varieties of self-reference, in Proc. TARK’86: Theoretical Aspects of Reasoning About Knowledge, 19-22 March, Monterey, CA, ed. J. Y. Halpern.