Advertisement

Role Monitoring in Open Agent Societies

  • Federico Chesani
  • Paola Mello
  • Marco Montali
  • Paolo Torroni
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6070)

Abstract

We address run-time monitoring of membership, roles and role dynamics in open agent societies. To this end, we build on Dignum’s formalization of agent organizations, on the SOCS computational logic agent framework and on the Event Calculus for representing and reasoning about time.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Davidsson, P.: Categories of artificial societies. In: Omicini, A., Petta, P., Tolksdorf, R. (eds.) ESAW 2001. LNCS (LNAI), vol. 2203, pp. 1–9. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  2. 2.
    Wooldridge, M., Jennings, N.R., Kinny, D.: The gaia methodology for agent-oriented analysis and design. Autonomous Agents and Multi-Agent Systems 3(3), 285–312 (2000)CrossRefGoogle Scholar
  3. 3.
    Cabri, G., Leonardi, L., Zambonelli, F.: Modeling role-based interactions for agents. In: Debenham, J., Henderson-Sellers, B., Jennings, N., Odell, J. (eds.) OOPSLA 2002 Workshop, Seattle, USA (2002)Google Scholar
  4. 4.
    Esteva, M., de la Cruz, D., Sierra, C.: ISLANDER: an electronic institutions editor. In: Castelfranchi, C., Lewis Johnson, W. (eds.) AAMAS-2002, Part III, pp. 1045–1052. ACM Press, New York (2002)CrossRefGoogle Scholar
  5. 5.
    Noriega, P., Sierra, C.: Electronic Institutions: Future Trends and Challenges. In: Klusch, M., Ossowski, S., Shehory, O. (eds.) CIA 2002. LNCS (LNAI), vol. 2446, pp. 91–99. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  6. 6.
    Dignum, V., Dignum, F.: Coordinating tasks in agent organizations. or: Can we ask you to read this paper? 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. 32–47. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  7. 7.
    Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: the SCIFF framework. ACM TOCL 9(4), 1–43 (2008)CrossRefMathSciNetGoogle Scholar
  8. 8.
    Kowalski, R.A., Sergot, M.: A logic-based calculus of events. New Generation Computing 4(1), 67–95 (1986)CrossRefGoogle Scholar
  9. 9.
    Chesani, F., Mello, P., Montali, M., Torroni, P.: Commitment tracking via the reactive event calculus. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI). AAAI Press, Menlo Park (2009)Google Scholar
  10. 10.
    Fung, T.H., Kowalski, R.A.: The IFF proof procedure for abductive logic programming. Journal of Logic Programming 33(2), 151–165 (1997)zbMATHCrossRefMathSciNetGoogle Scholar
  11. 11.
    Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive Logic Programming. Journal of Logic and Computation 2(6), 719–770 (1993)CrossRefMathSciNetGoogle Scholar
  12. 12.
    Chittaro, L., Montanari, A.: Efficient temporal reasoning in the cached event calculus. Computational Intelligence 12(2), 359–382 (1996)CrossRefMathSciNetGoogle Scholar
  13. 13.
    Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Sartor, G., Torroni, P.: Mapping deontic operators to abductive expectations. Computational and Mathematical Organization Theory 12(2-3), 205–225 (2006)zbMATHCrossRefGoogle Scholar
  14. 14.
    Farrell, A.D.H., Sergot, M.J., Sallé, M., Bartolini, C.: Using the event calculus for tracking the normative state of contracts. Int. J. Cooperative Inf. Syst. 14(2-3), 99–129 (2005)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Federico Chesani
    • 1
  • Paola Mello
    • 1
  • Marco Montali
    • 1
  • Paolo Torroni
    • 1
  1. 1.DEISUniversity of BolognaBolognaItaly

Personalised recommendations