Abstract
One source of trust for physical trading systems is their physical assets and simply their presence. A similar baseline does not exist for electronic trading systems, but one way in which it may be possible to create that initial trust is through the abstract notion of an institution, defined in terms of norms [19] and the scenes within which (software) agents may play roles in different trading activities, governed by those norms. We present here a case for institutions in electronic trading, a specification language for institutions (covering norms, performative structure, scenes, roles, etc.) and its semantics and how this may be mapped into formal languages such as process algebra and various forms of logic, so that there is a framework within which norms can be stated and proven.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Torben Amtoft, Assaf Kfoury, and Santiago Pericas-Geertsen. What are polymorphically-typed ambients? In David Sands, editor, Programming Languages and Systems, 10th European Symposium on Programming, ESOP2001, volume 2028 of Lecture Notes in Computer Science, pages 206–220. Springer Verlag, 2001.
J. L. Austin. How to Do Things With Words. Oxford University Press, 1962.
Mihai Barbuceanu, Tom Gray, and Serge Mankovski. Coordinating with obligations. In Proceedings of the Third International Conference on Autonomous Agents (AGENTS’99), pages 62–69, 1998.
C. Bryce, M. Oriol, and J. Vitek. A Coordination Model for Agents Based on Secure Spaces. In P. Ciancarini and A. Wolf, editors, Proc. 3rd Int. Conf. on Coordination Models and Languages, volume 1594 of Lecture Notes in Computer Science, pages 4–20, Amsterdam, Netherlands, April 1999. Springer-Verlag, Berlin. revised into Coordinating Processes with Secure Spaces and to appear in Science of Computer Programming (Autumn 2001).
Ciaran Bryce and Jan Vitek. The JavaSeal mobile agent kernel. In First International Symposium on Agent Systems and Applications (ASA’99)/Third International Symposium on Mobile Agents (MA’99), Palm Springs, CA, USA, October 1999.
L. Cardelli. Mobile Ambient Synchronization. Technical Report SRC Tech Note 1997-013, Digital, July 1997.
Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon. Ambient groups and mobility types. In J. van Leeuwen, O. Watanabe, M. Hagiya, P. D. Mosses, and T. Ito, editors, Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics, Proceedings of the International IFIP Conference TCS 2000 (Sendai, Japan), volume 1872 of LNCS, pages 333–347. IFIP, Springer, August 2000.
Luca Cardelli and Andrew D. Gordon. Types for mobile ambients. In ACM, editor, POPL’ 99. Proceedings of the 26th ACM SIGPLAN-SIGACT on Principles of programming languages, January 20–22, 1999, San Antonio, TX, ACM SIGPLAN Notices, pages 79–92, New York, NY, USA, 1999. ACM Press.
G. Castagna and J. Vitek. Seal: A framework for secure mobile computations. In H. Bal, B. Belkhouche, and L. Cardelli, editors, Internet Programming Languages, number 1686 in LNCS, pages 47–77. Springer, 1999.
P. Ciancarini, F. Franzè, and C. Mascolo. Using a Coordination Language to Specify and Analyze Systems Containing Mobile Components. ACM Transactions on Software Engineering and Methodology, 9(2):167–198, 2000.
M. Esteva and C. Sierra. Islander1.0 language definition. Technical report, IIIA-CSIC, 2001.
Cédric Fournet, Jean-Jacques Lévy, and Alain Schmitt. An asynchronous distributed implementation fomobile ambients. In J. van Leeuwen, O. Watanabe, M. Hagiya, P. D. Mosses, and T. Ito, editors, Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics, Proceedings of the International IFIP Conference TCS 2000 (Sendai, Japan), volume 1872 of LNCS, pages 348–364. IFIP, Springer, August 2000.
Michael R. Genesereth and Richard E. Fikes. Knowldege interchange format version 3.0 reference manual. Technical Report Report Logic-92-1, Logic Group, Computer Science Department, Standford University, June 1992.
Francesca Levi and Davide Sangiorgi. Controlling interference in ambients. In Conference Record of POPL’00: The 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 352–364, Boston, Massachusetts, January 19–21, 2000.
S. Moss and B. Edmonds. A formal preference-state model with qualitative market judgements. Omega — the International Journal of Management Science, 25(2): 155–169, 1997.
Flemming Nielson and Hanne Riis Nielson. Shape analysis for mobile ambients. In Conference Record of POPL’00: The 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts, Jan 2000. ACM, ACM Press.
P. Noriega. Agent mediated auctions: The Fishmarket Metaphor. PhD thesis, Universitat Autonoma de Barcelona, 1997.
Pablo Noriega and Carles Sierra. Towards layered dialogical agents. In Third International Workshop on Agent Theories, Architectures, and Languages, ATAL-96, 1996.
Douglass C. North. Institutions, Institutional Change and Economic Performance. Cambridge University Press, 1991.
Julian Padget. Modelling simple market structures in process algebras with locations. Artificial Intelligence and Simulation of Behaviour Journal, 1(1):87–108, 2001. to appear.
Julian Padget. Modelling simple market structures in process algebras with locations. In Luc Moreau, editor, AISB’01 Symposium on Software Mobility and Adaptive Behaviour, pages 1–9. The Society for the Study of Artificial Intelligence and the Simulation of Behaviour, AISB, 2001. ISBN 1 902956 22 1.
J-A. Rodríguez. On the Design and Construction of Agent-mediated Institutions. PhD thesis, Universitat Autonoma de Barcelona, July 2001.
J. R. Searle. Speech acts. Cambridge U.P., 1969.
Pawel Wojciechowski and Peter Sewell. Nomadic pict: Language and infrastructure design for mobile agents. In First International Symposium on Agent Systems and Applications (ASA’99)/Third International Symposium on Mobile Agents (MA’99), Palm Springs, CA, USA, October 1999.
Michael Wooldridge, Nicholas R. Jennings, and David Kinny. A methodology for agent-oriented analysis and design. In Proceedings of the Third International Conference on Autonomous Agents (AGENTS’99), May 1999.
G. H. Wright. Deontic logic. Mind, 60:1–15, 1951.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Esteva, M., Padget, J., Sierra, C. (2002). Formalizing a Language for Institutions and Norms. In: Meyer, JJ.C., Tambe, M. (eds) Intelligent Agents VIII. ATAL 2001. Lecture Notes in Computer Science(), vol 2333. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45448-9_26
Download citation
DOI: https://doi.org/10.1007/3-540-45448-9_26
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43858-8
Online ISBN: 978-3-540-45448-9
eBook Packages: Springer Book Archive