Skip to main content
SpringerLink
Log in

Embedding Landmarks and Scenes in a Computational Model of Institutions

  • Conference paper
Coordination, Organizations, Institutions, and Norms in Agent Systems III (COIN 2007)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 4870))

Abstract

Over the last decade, institutions have demonstrated that they are a powerful mechanism to make agent interactions more effective, structured, coordinated and efficient. Different authors have tackled the problem of designing and verifying institutions from different angles. In this paper we propose a formalism that is capable of unifying and extending some of these approaches, as well as providing the necessary tools to assist in the design and verification processes. We demonstrate our approach with a non-trivial case-study.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aldewereld, H.: Autonomy vs. Conformity: an Institutional Perspective on Norms and Protocols. PhD thesis, Utrecht (2007)

    Google Scholar 

  2. Artikis, A.: Executable Specification of Open Norm-Governed Computational Systems. PhD thesis, Department of Electrical & Electronic Engineering, Imperial College London (September 2003)

    Google Scholar 

  3. Artikis, A., Sergot, M., Pitt, J.: An executable specification of an argumentation protocol. In: Proceedings of conference on artificial intelligence and law (icail), pp. 1–11. ACM Press, New York (2003)

    Chapter  Google Scholar 

  4. Artikis, A., Sergot, M., Pitt, J.: Specifying electronic societies with the Causal Calculator. In: Giunchiglia, F., Odell, J.J., Weiss, G. (eds.) AOSE 2002. LNCS, vol. 2585, Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  5. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge Press, Cambridge (2003)

    MATH  Google Scholar 

  6. Cimatti, A., Clarke, E.M., Giunchiglia, F., Roveri, M.: NUSMV: A new symbolic model checker. International Journal on Software Tools for Technology Transfer 2(4), 410–425 (2000)

    Article  MATH  Google Scholar 

  7. Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems 8(2), 244–263 (1981)

    Article  Google Scholar 

  8. Cliffe, O.: Specifying and Analysing Institutions in Multi-Agent Systems Using Answer Set Programming. PhD thesis, Dept. Computer Science, University of Bath (June 2007)

    Google Scholar 

  9. Cliffe, O., De Vos, M., Padget, J.A.: Answer set programming for representing and reasoning about virtual institutions. In: Inoue, K., Satoh, K., Toni, F. (eds.) CLIMA 2006. LNCS (LNAI), vol. 4371, pp. 60–79. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  10. Cliffe, O., De Vos, M., Padget, J.A.: Specifying and reasoning about multiple institutions. In: Noriega, P., Vázquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N., Matson, E. (eds.) COIN 2006. LNCS (LNAI), vol. 4386, pp. 63–81. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  11. Cohen, P.R., Levesque, H.: Intention is choice with commitment. Artificial Intelligence 42, 213–261 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  12. Colombetti, M., Verdicchio, M.: An analysis of agent speech acts as institutional actions. In: Alonso, E., Kudenko, D., Kazakov, D. (eds.) AAMAS 2000 and AAMAS 2002. LNCS (LNAI), vol. 2636, pp. 1157–1164. Springer, Heidelberg (2003)

    Google Scholar 

  13. Dignum, V.: A Model for Organizational Interaction. PhD thesis, Utrecht (2004)

    Google Scholar 

  14. Dignum, V., Meyer, J.-J., Dignum, F., Weigand, H.: Formal Specification of Interaction in Agent Societies. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A., Gordon-Spears, D.F. (eds.) FAABS 2002. LNCS (LNAI), vol. 2699, pp. 37–52. Springer, Heidelberg (2003)

    Google Scholar 

  15. Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence 153, 49–104 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  16. Fornara, N., Colombetti, M.: Operational specification of a commitment-based agent communication language. In: Alonso, E., Kudenko, D., Kazakov, D. (eds.) AAMAS 2000 and AAMAS 2002. LNCS (LNAI), vol. 2636, pp. 536–542. Springer, Heidelberg (2003)

    Google Scholar 

  17. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proc. of fifth logic programming symposium, pp. 1070–1080. MIT Press, Cambridge (1988)

    Google Scholar 

  18. Kamara, L., Artikis, A., Neville, B., Pitt, J.: Simulating computational societies. In: Petta, P., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2002. LNCS (LNAI), vol. 2577, pp. 53–67. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  19. Kowalski, R., Sergot, M.: A logic-based calculus of events. New Gen. Comput. 4(1), 67–95 (1986)

    Article  Google Scholar 

  20. Kowalski, R.A., Sadri, F.: Reconciling the event calculus with the situation calculus. Journal of Logic Programming 31(1–3), 39–58 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  21. Kumar, S., Huber, M.J., Cohen, P.R., McGee, D.R.: Toward a formalism for conversation protocols using joint intention theory. Computational Intelligence 18(2), 174–228 (2002)

    Article  MathSciNet  Google Scholar 

  22. Minton, S., Bresina, J., Drummond, M.: Total order and partial order planning: A comparative analysis. Journal of Artificial Intelligence Research 2, 227–262 (1994)

    Google Scholar 

  23. Niemelä, I., Simons, P.: Smodels: An implementation of the stable model and well-founded semantics for normal LP. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol. 1265, pp. 420–429. Springer, Heidelberg (1997)

    Google Scholar 

  24. Noriega, P.: Agent mediated auctions: The Fishmarket Metaphor. PhD thesis, Universitat Autonoma de Barcelona (1997)

    Google Scholar 

  25. Rodríguez-Aguilar, J.A.: On the Design and Construction of Agent-mediated Institutions. PhD thesis, Universitat Autonoma de Barcelona (2001)

    Google Scholar 

  26. Sergot, M. (C+)++: An Action Language For Representing Norms and Institutions. Technical report, Imperial College, London (August 2004)

    Google Scholar 

  27. Smith, I., Cohen, P., Bradshaw, J., Greaves, M., Holmback, H.: Designing conversation policies using joint intention theory. In: Proceedings of International Conference on Multi Agent Systems, pp. 269–276 (1998), doi:10.1109/ICMAS.1998.699064

    Google Scholar 

  28. Vázquez-Salceda, J., Noriega, P. (eds.): Coordination, Organizations, Institutions, and Norms in Agent Systems II. In: Noriega, P., Vázquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N., Matson, E. (eds.) COIN 2006. LNCS (LNAI), vol. 4386, Springer, Heidelberg (2007)

    Google Scholar 

  29. Verdicchio, M., Colombetti, M.: A logical model of social commitment for agent communication. In: AAMAS 2003: Proceedings of the second international joint conference on Autonomous agents and multiagent systems, pp. 528–535. ACM Press, New York (2003)

    Chapter  Google Scholar 

  30. Viganò, F., Colombetti, M.: Specification and verification of institutions through status functions. In: Noriega, P., Vázquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N., Matson, E. (eds.) COIN 2006. LNCS (LNAI), vol. 4386, Springer, Heidelberg (2007)

    Google Scholar 

  31. Yolum, P., Singh, M.P.: Flexible protocol specification and execution: applying event calculus planning using commitments. In: AAMAS 2002: Proceedings of the first international joint conference on Autonomous agents and multiagent systems, pp. 527–534. ACM Press, New York (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Bath, BATH, BA2 7AY, UK

    Owen Cliffe, Marina De Vos & Julian Padget

Authors
  1. Owen Cliffe
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marina De Vos
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Julian Padget
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jaime Simão Sichman Julian Padget Sascha Ossowski Pablo Noriega

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cliffe, O., De Vos, M., Padget, J. (2008). Embedding Landmarks and Scenes in a Computational Model of Institutions. In: Sichman, J.S., Padget, J., Ossowski, S., Noriega, P. (eds) Coordination, Organizations, Institutions, and Norms in Agent Systems III. COIN 2007. Lecture Notes in Computer Science(), vol 4870. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-79003-7_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-79003-7_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-79002-0

  • Online ISBN: 978-3-540-79003-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation