Virtual worlds as meeting places for formal systems

Over the last seven years, we have been exploring the use of collaborative virtual environments called Virtual Worlds (VWs) as a new type of testbed for experimenting with ways of organizing and integrating diverse types of computational and human processes. In other papers, we have discussed a wide variety of applications to fields as diverse as education and software engineering. In this paper, we focus on some of the mathematical experiments we are currently building in these environments.

[1]  K. Jon Barwise,et al.  The situation in logic , 1989, CSLI lecture notes series.

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

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

[4]  N. G. de Bruijn,et al.  A plea for weaker frameworks , 1991 .

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

[6]  Iain D. Craig.  Language And Learning For Robots by Colleen Crangle and Patrick Suppes, Lecture Notes No 41, CSLI Publications, Stanford University, 276 pages includingcontents and index (£16.95) , 1996, Robotica.

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

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

[9]  Christopher Landauer,et al.  Playing in the mud: Virtual worlds are real places , 2000, Appl. Artif. Intell..

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

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

[12]  Greg Nelson,et al.  Simplification by Cooperating Decision Procedures , 1979, TOPL.

[13]  Reed D. Riner,et al.  Simulating Future Histories: The Nau Solar System Simulation and Mars Settlement , 1995 .

[14]  José Meseguer,et al.  A logical theory of concurrent objects and its realization in the Maude language , 1993 .

[15]  Robert L. Constable,et al.  Metalogical frameworks , 1993 .

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

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

[18]  Christopher Landauer,et al.  More than shared artifacts: collaboration via shared presence in MUDs , 1998, Proceedings Seventh IEEE International Workshop on Enabling Technologies: Infrastucture for Collaborative Enterprises (WET ICE '98) (Cat. No.98TB100253).

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