Abstract
We show how protocols (or interaction patterns) can be derived from norms using landmarks. The resulting protocols can be used by agents to perform their interactions while being certain to stay within the norms governing an e-institution without having to have a capability for normative reasoning. It can also be used by normative agents as a default protocol to be used, but from which they can deviate in specific circumstances.
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
Aldewereld, H., Dignum, F., Meyer, J.-J.C., Vázquez-Salceda, J.: Proving norm compliancy of protocols in electronic institutions. Technical Report UU-CS-2005-010, Utrecht University (2005)
Aldewereld, H.: Autonomy vs. Conformity: An Institutional Perspective on Norms and Protocols. PhD thesis, Universiteit Utrecht (2007)
Aldewereld, H., Grossi, D., Vázquez-Salceda, J., Dignum, F.: Designing normative behaviour via landmarks. In: Bossier, O., et al. (eds.) Coordination, Organisation, Institutions and Norms in Agent Systems I, pp. 150–162. Springer, Heidelberg (2006)
Anderson, A.R.: A reduction of deontic logic to alethic modal logic. Mind 67, 100–103 (1958)
Belnap, N., Perloff, M.: Seeing to it that: A canonical form for agentives. Theoria 54, 175–199 (1988)
Büchi, J.R.: On a decision method in restricted second order arithmetic. In: Proceedings of the 1960 International Conference on Logic, Methodology and Philosophy of Science, pp. 1–11. Stanford University Press, Stanford (1962)
Dastani, M., van Riemsdijk, B., Meyer, J.-J.C.: Programming multi-agent systems in 3apl. In: Bordini, R.H., et al. (eds.) Multi-Agent Programming: Languages, Platforms and Applications, Springer, Berlin (2005)
Dignum, F., Broersen, J., Dignum, V., Meyer, J.-J.C.: Meeting the deadline: Why, when and how. In: 3rd Goddard Workshop on Formal Approaches to Agent-Based Systems (FAABS), Maryland (April 2004)
Dignum, V.: A Model for Organizational Interaction: Based on Agents, Founded in Logic. PhD thesis, Universiteit Utrecht, The Netherlands (2004)
Fikes, R., Nilsson, N.J.: Strips: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2(3/4), 189–208 (1971)
Holzmann, G.J.: The model checker spin. IEEE Transactions On Software Engineering 23(5), 279 (1997)
López y López, F., Luck, M.: Towards a model of the dynamics of normative multi-agent systems. In: Lindemann, G., Moldt, D., Paolucci, M. (eds.) RASTA 2002. LNCS (LNAI), vol. 2934, pp. 175–194. Springer, Heidelberg (2004)
P. Noriega. Agent-Mediated Auctions: The Fishmarket Metaphor. PhD thesis, Inst. d’Investigació en Intel.ligència Artificial (1997)
Rodriguez, J.A.: On the Design and Construction of Agent-mediated Electronic Institutions. PhD thesis, Inst. d’Investigació en Intel.ligència Artificial (2001)
Staiger, L.: ω-languages. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, vol. 3, pp. 339–387. Springer-Verlag, Berlin (1997)
Thomas, W.: Automata on infinite objects. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, ch. 4, vol. B, Elsevier Science Publishers, Amsterdam (1990)
Wolper, P.: Constructing Automata from Temporal Logic Formulas: A Tutorial. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) EEF School 2000 and FMPA 2000. LNCS, vol. 2090, pp. 261–277. Springer-Verlag, Heidelberg (2001)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Aldewereld, H., Dignum, F., Meyer, JJ.C. (2008). From Norms to Interaction Patterns: Deriving Protocols for Agent Institutions. In: Dastani, M., El Fallah Seghrouchni, A., Ricci, A., Winikoff, M. (eds) Programming Multi-Agent Systems. ProMAS 2007. Lecture Notes in Computer Science(), vol 4908. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-79043-3_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-79043-3_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-79042-6
Online ISBN: 978-3-540-79043-3
eBook Packages: Computer ScienceComputer Science (R0)