Advertisement

Embedding Landmarks and Scenes in a Computational Model of Institutions

  • Owen Cliffe
  • Marina De Vos
  • Julian Padget
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, 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.

Keywords

Multiagent System Exogenous Event Electronic Institution Event Calculus Trace Program 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Aldewereld, H.: Autonomy vs. Conformity: an Institutional Perspective on Norms and Protocols. PhD thesis, Utrecht (2007)Google Scholar
  2. 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. 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)CrossRefGoogle Scholar
  4. 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)CrossRefGoogle Scholar
  5. 5.
    Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge Press, Cambridge (2003)zbMATHGoogle Scholar
  6. 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)zbMATHCrossRefGoogle Scholar
  7. 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)CrossRefGoogle Scholar
  8. 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. 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)CrossRefGoogle Scholar
  10. 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)CrossRefGoogle Scholar
  11. 11.
    Cohen, P.R., Levesque, H.: Intention is choice with commitment. Artificial Intelligence 42, 213–261 (1990)CrossRefMathSciNetzbMATHGoogle Scholar
  12. 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. 13.
    Dignum, V.: A Model for Organizational Interaction. PhD thesis, Utrecht (2004)Google Scholar
  14. 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. 15.
    Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence 153, 49–104 (2004)zbMATHCrossRefMathSciNetGoogle Scholar
  16. 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. 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. 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)CrossRefGoogle Scholar
  19. 19.
    Kowalski, R., Sergot, M.: A logic-based calculus of events. New Gen. Comput. 4(1), 67–95 (1986)CrossRefGoogle Scholar
  20. 20.
    Kowalski, R.A., Sadri, F.: Reconciling the event calculus with the situation calculus. Journal of Logic Programming 31(1–3), 39–58 (1997)zbMATHCrossRefMathSciNetGoogle Scholar
  21. 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)CrossRefMathSciNetGoogle Scholar
  22. 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. 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. 24.
    Noriega, P.: Agent mediated auctions: The Fishmarket Metaphor. PhD thesis, Universitat Autonoma de Barcelona (1997)Google Scholar
  25. 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. 26.
    Sergot, M. (C+)++: An Action Language For Representing Norms and Institutions. Technical report, Imperial College, London (August 2004)Google Scholar
  27. 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.699064Google Scholar
  28. 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. 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)CrossRefGoogle Scholar
  30. 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. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Owen Cliffe
    • 1
  • Marina De Vos
    • 1
  • Julian Padget
    • 1
  1. 1.Department of Computer ScienceUniversity of BathBATHUK

Personalised recommendations