Abstract
Our knowledge of physics, chemistry, engineering, even psychology have all been used to develop weapons and approaches for winning armed conflicts. Especially the information sciences have been developed with a tremendous amount of funding and much of the initial motivation stemming from military needs and later developed with its funding. Robert Trappl has posed to the wider research community a fascinating question: Have our technologies and scientific approaches grown to the point that they can be applied to the much more difficult question of supporting the peaceful resolution of conflicts among nations? He has dubbed such technology “peacefare”. Sometimes it is easier to design a complex system by starting with a solution and working backwards. Hence I wrote a story. Since I am a computer scientist and technologist, my story is about the technology that could provide some enhanced basis for analysis of growing international tensions and possible mediation. This story also is a way of eliciting from our broad research community our goals, our assumptions, and the success criteria for a system like “Peacemaker 2020.”
Keywords
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Allen, R., and Garlan, D., 1997, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology.
Aczel, P., 1988, Non-well-founded Sets, CSLI Lecture Notes No. 14, Center for the Study of Language and Information, Stanford University Press, Stanford.
Barwise, J., 1989, The Situation in Logic, CSLI Lecture Notes No. 17, Center for the Study of Language and Information, Stanford University Press, Stanford.
Barwise, J., and Etchemendy, J., 1987, The Liar: An Essay on Truth and Circularity, Oxford University Press, Oxford.
Barwise, J., and Moss, L., 1966, Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena, CSLI Lecture Notes No. 60, Center for the Study of Language and Information, Stanford University Press, Stanford.
Bellman, K. L., 2001a, Building the right stuff: Challenges in developing better computer-based technology for education, in Smart Machines in Education: The Coming Revolution in Educational Technology, Forbus, K. D., and Feltovich, P. J., AAAI Press.
Bellman, K. L., 2001b, The challenge for a new type of computational semiotics: The roles and limitations of diverse representations in virtual worlds, in Proceedings of VWsim'01: The 2001 Virtual Worlds and Simulation Conference, WMC'2001: The 2001 SCS Western MultiConference, 7–11 January 2001, Landauer, C., and Bellman, K., eds., Phoenix, SCS.
Bellman, K. L., 1999. Towards a theory of virtual worlds, in Proceedings of VWsim'99: Virtual Worlds and Simulation Conference, SCS Western Multi-Conference, 18–20 January 1999, Christopher Landauer C., and Bellman, K., eds., San Francisco, SCS, pp. 17–21.
Bellman, K. L., 1997, Sharing work, experience, interpretation, and maybe even meanings between natural and artificial agents, invited paper, in Proceedings of SMC'97: the 1997 IEEE International Conference on Systems, Man, and Cybernetics, 12–15 October 1997, Orlando, Florida, vol. 5, pp. 4127–4132.
Bellman, K. L., Gillam, A., and Landauer, C., 1993, Challenges for conceptual design environments: The VEHICLES experience, Revue Internationale de CFAO et d'Infographie, Hermes, Paris.
Bellman, K. L., and Landauer, C., 1995, Designing testable, heterogeneous software environments, in Special Issue: Software Quality in Knowledge-Based Systems, Plant, R., ed., Journal of Systems and Software, 29:199–217.
Bellman, K. L., and Landauer, C., 2000a, Towards an integration science: The influence of Richard Bellman on our research, Journal of Mathematical Analysis and Applications 249:3–31.
Bellman, K. and Landauer, C., 2000b, Playing in the MUD: virtual worlds are real places, in Proceedings ECAI'98: the 1998 European Conference on Artificial Intelligence, Workshop w14 on Intelligent Virtual Environments, 25 August 1998, Brighton, England, U.K.; revised and extended version in Special Issue of J. Applied Artificial Intelligence, Luck, M., Aylett, R. S., eds., 14:93–123.
Carley, K., 2002, De/stabilizing cellular networks, in Proceedings of VWsim ′02: The 2002 SCS Western MultiConference, 27–31 January 2002, San Antonio, Texas.
Clavel, M., Duran, F., Eker, S., Meseguer, J., and Stehr, M.-O., 1999, Maude as a formal meta-tool, in World Congress on Formal Methods (FM ′99), Lecture Notes in Computer Science, Vol. 1709, Springer, Heidelberg. pp. 1684–1703.
Duran, F., 1999, A Reflective Module Algebra with Applications to the Maude Language, Ph.D. Thesis University of Malaga, Malaga.
Freud, S., 1989, Civilization and Its Discontents, Strachey, J., ed., reissue edition, W.W. Norton & Company.
Goguen, J., 1999, An introduction to algebraic semiotics with applications to user interface design, in Computation for Metaphor, Analogy, and Agents, Nehaniv, C., ed., Springer Lecture Notes in Artificial Intelligence, vol. 1562, Springer, Heidelberg, pp. 242–291.
Goguen, J., 2001, Towards a design theory for virtual worlds: algebraic semiotics with information visualization as a case study, in Proceedings of Virtual Worlds and Simulation Conference, Landauer, C., and Bellman, K., eds., pp. 298–303.
Goguen, J. 2002, Information visualization and semiotic morphisms, in Proceedings Second International Conference on Visual Representations and Interpretations, Liverpool UK, 9–12 September.
Hayes-Roth, B., Pfleger, K., Lalanda, P., Morignot, P., and Balabanovic, M., 1995, A domain-specific software architecture for adaptive intelligent systems, IEEE Transactions on Software Engineering, Vol. SE-21:288–301.
Herz, J.C., 1997, Joystick Nation: How Videogames Ate Our Quarters, Won Our Hearts, and Rewired Our Minds. Little Brown & Company.
Hudak, P., 1996, Building domain-specific embedded languages, ACM Computing Surveys 28 (4).
IEEE, 1999, Special Issue on Domain Specific Languages, IEEE Transacations on Software Engineering 25(3).
Kennedy, C. M., 1999, Distributed reflective architectures for adjustable autonomy, in Proc. IJCAI-99 Workshop on Adjustable Autonomy Systems, 1 August 1999, Stockholm, Sweden, Kortenkamp, D., Gregory, G., Myers, K. L., eds.
Kiczales, G., Rivieres, J., and Bobrow, D. G., 1991, The Art of the Meta-Object Protocol, MIT Press, Cambridge, MA.
Landauer, C., and Bellman, K. L., 1996, Active integration frameworks: The Wrapping theory, Systems Development Management 34-10-25, Auerbach, and Building and maintaining systems using the Wrapping theory, Systems Development Management 34-10-26, Auerbach.
Landauer, C., and Bellman, K. L., 1996, Knowledge-based integration infrastructure for complex systems, International Journal of Intelligent Control and Systems 1:133–153.
Landauer, C., and Bellman, K. L., 1999, Computational embodiment: agents as constructed complex systems, in Human Cognition and Social Agent Technology, Dautenhahn, K., ed., Benjamins, New York.
Landauer, C., and Bellman, K. L., 1993, The role of self-referential logics in a software architecture using Wrappings, in Proc. ISS'93: the 3rd Irvine Software Symposium, 30 April 1993, U. C. Irvine, California.
Landauer, C., and Bellman, K. L., 1998, Language formation in virtual worlds, in Proc. SMC'98:the 1998 IEEE International Conference on Systems, Man, and Cybernetics, 11–14 October 1998, San Diego, California. pp. 1365–1370.
Lorenz, K., 1963, On Agression, Harcourt, Brace, and World, Inc., New York.
Luckham, D., 2002, The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems, Pearson Education, Inc.
Maes, P., 1987, Concepts and experiments in computational reflection, in Proceedings OOP-SLA'87, pp. 147–155.
Maes, P., and Nardi, D., 1988, Meta-level architectures and reflection, in Proc. Workshop on Meta-Level Architectures and Reflection, 27–30 October 1986, Alghero, Italy, North-Holland.
Mandler, J. M., 1984, Stories, Scripts, and Scenes: Aspects of Schema Theory, Lawrence Erlbaum Associates, Mahwah, NJ.
Mataric, M. J., 1997, Studying the role of embodiment in cognition, Cybernetics and Systems: An International Journal 28:457–470.
Meseguer, J., 1989, General logics, in Proc. Logic Colloquium'87, Ebbinghaus, H., et al., eds., North-Holland, pp. 275–329
Meseguer, J., 1993, A logical theory of concurrent objects and its realization in the Maude language, in Research Directions in Object-Based Concurrency, Agha, G., Wegner, P., Yonezawa, A., eds ., MIT Press, Cambridge, MA, pp. 313–389.
Norman, D. A., 1997, How might people interact with agents?, in Software Agents, Bradshaw, J. M., ed., AAAI Press, pp. 49–55.
Reeder, F., 2001, Do what I mean: Issues in cross-lingual collaboration, in Proceedings of the Virtual Worlds and Simulation Conference, 2001, Landauer, C., and Bellman, K. L., eds., San Diego, SCS, Inc., pp. 266 –271.
Reeder, F. and Harper, L., 2000, Parlez-vous francais? Multilingual interaction in virtual worlds/communities, in Proceedings of VWSIM 2000, Virtual Worlds and Simulation Conference, Landauer, C., and Bellman, K. L., eds., SCS Intl. San Diego, CA.
Shaw, M., and Garlan, D., 1996 Software Architecture: Perspectives on an Emerging Discipline, Prentice-Hall.
Smith, B. C., 1986, Varieties of self-reference, in Proc. TARK'86:the 1986 Conference on Theoretical Aspects of Reasoning about Knowledge, 19–22 March 1986, Monterey, California, Halpern, J. Y., ed.
Suchman, L. A., 1987, Plans and Situated Actions: The Problem of Human-Machine Communication, Cambridge U. Press, Cambridge.
Trappl, R., Petta, P., and Payr, S. 2003, eds., Emotions in Humans and Artifacts, MIT Press, Cambridge, MA.
van Deursen, A., Heering, J., and Klint, P., 1996, Language Prototyping: an Algebraic Specification Approach, AMAST Series in Computing, vol. 5, World Scientific Publishing Co.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer
About this chapter
Cite this chapter
Bellman, K. (2006). Peacemaker 2020 A System for Global Conflict Analysis and Resolution; A Work of Fiction and A Research Challenge. In: Trappl, R. (eds) Programming for Peace. Advances in Group Decision and Negotiation, vol 2. Springer, Dordrecht. https://doi.org/10.1007/1-4020-4390-2_15
Download citation
DOI: https://doi.org/10.1007/1-4020-4390-2_15
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-4377-2
Online ISBN: 978-1-4020-4390-1
eBook Packages: Humanities, Social Sciences and LawHistory (R0)