Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Global Computing

GC 2004: Global Computing pp 314–339Cite as

The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 3267))

Abstract

This article summarises part of the work done during the first two years of the SOCS project, with respect to the task of modelling interaction amongst CL-based agents. It describes the SOCS social model: an agent interaction specification and verification framework equipped with a declarative and operational semantics, expressed in terms of abduction. The operational counterpart of the proposed framework has been implemented and integrated in SOCS-SI, a tool that can be used for on-the-fly verification of agent compliance with respect to specified protocols.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bracciali, A., Demetriou, N., Endriss, U., Kakas, A., Lu, W., Mancarella, P., Sadri, F., Stathis, K., Terreni, G., Toni, F.: The KGP model of agency: Computational model and prototype implementation. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol. 3267, pp. 340–367. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  2. Global Computing, Future and Emerging Technologies: Co-operation of Autonomous and Mobile Entities in Dynamic Environments. Home Page: http://www.cordis.lu/ist/fetgc.htm

  3. Societies Of ComputeeS (SOCS): a computational logic model for the description, analysis and verification of global and open societies of heterogeneous computees. Home Page: http://lia.deis.unibo.it/research/socs/

  4. Hewitt, C.: Open information systems semantics for distributed artificial intelligence. Artificial Intelligence 47, 79–106 (1991)

    Article  MathSciNet  Google Scholar 

  5. Artikis, A., Pitt, J., Sergot, M.: Animated specifications of computational societies. In: Castelfranchi, C., Lewis Johnson, W. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), Part III, Bologna, Italy, pp. 1053–1061. ACM Press, New York (2002)

    Chapter  Google Scholar 

  6. Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Modeling interactions using Social Integrity Constraints: A resource sharing case study. In: Leite, J.A., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol. 2990, pp. 243–262. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  7. Kakas, A.C., Kowalski, R.A., Toni, F.: The role of abduction in logic programming. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 5, pp. 235–324. Oxford University Press, Oxford (1998)

    Google Scholar 

  8. Fung, T.H., Kowalski, R.A.: The IFF proof procedure for abductive logic programming. Journal of Logic Programming 33, 151–165 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  9. Jaffar, J., Maher, M.: Constraint logic programming: a survey. Journal of Logic Programming 19-20, 503–582 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  10. Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Specification and verification of interaction protocols: a computational logic approach based on abduction. Technical Report CS-2003-03, Dipartimento di Ingegneria di Ferrara, Ferrara, Italy (2003), Available at: http://www.ing.unife.it/aree_ricerca/informazione/cs/technical_reports

  11. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based tool. In: Trappl, R. (ed.) Proceedings of the 17th European Meeting on Cybernetics and Systems Research, Symposium “From Agent Theory to Agent Implementation” (AT2AI-4), Vienna, Austria, Austrian Society for Cybernetic Studies, vol. II, pp. 570–575 (2004)

    Google Scholar 

  12. Stathis, K., Kakas, A.C., Lu, W., Demetriou, N., Endriss, U., Bracciali, A.: PROSOCS: a platform for programming software agents in computational logic. In: Trappl, R. (ed.) Proceedings of the 17th European Meeting on Cybernetics and Systems Research, Symposium “From Agent Theory to Agent Implementation” (AT2AI-4), Vienna, Austria, Austrian Society for Cybernetic Studies, vol. II, pp. 523–528 (2004)

    Google Scholar 

  13. Lloyd, J.W.: Foundations of Logic Programming, 2nd extended edn. Springer, Heidelberg (1987)

    Book  MATH  Google Scholar 

  14. Torroni, P., Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P.: A logic based approach to interaction design in open multi-agent systems. In: Proceedings of the 13th IEEE international Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2004), 2nd international workshop “Theory and Practice of Open Computational Systems (TAPOCS)”, Modena, Italy. IEEE Press, Los Alamitos (to appear, 2004)

    Google Scholar 

  15. Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: An Abductive Interpretation for Open Societies. In: Cappelli, A., Turini, F. (eds.) AI*IA 2003. LNCS, vol. 2829, pp. 287–299. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  16. Cox, P.T., Pietrzykowski, T.: Causes for events: Their computation and applications. In: Proceedings CADE 1986, pp. 608–621 (1986)

    Google Scholar 

  17. Eshghi, K., Kowalski, R.A.: Abduction compared with negation by failure. In: Levi, G., Martelli, M. (eds.) Proceedings of the 6th International Conference on Logic Programming, pp. 234–255. MIT Press, Cambridge (1989)

    Google Scholar 

  18. Kakas, A.C., Mancarella, P.: On the relation between Truth Maintenance and Abduction. In: Fukumura, T. (ed.) Proceedings of the 1st Pacific Rim International Conference on Artificial Intelligence, PRICAI 1990, Nagoya, Japan, Ohmsha Ltd., pp. 438–443 (1990)

    Google Scholar 

  19. Poole, D.L.: A logical framework for default reasoning. Artificial Intelligence 36, 27–47 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  20. Kunen, K.: Negation in logic programming. Journal of Logic Programming 4, 289–308 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  21. Jaffar, J., Maher, M., Marriott, K., Stuckey, P.: The semantics of constraint logic programs. Journal of Logic Programming 37(1-3), 1–46 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  22. FIPA Query Interaction Protocol (2001) Published on August 10th, 2001. Available for download from the FIPA web site (2001) (published), http://www.fipa.org

  23. SICStus prolog user manual, release 3.11.0, Available for download from the SICS web site (2003), http://www.sics.se/isl/sicstus/

  24. Frühwirth, T.: Theory and practice of constraint handling rules. Journal of Logic Programming 37, 95–138 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  25. Holzbaur, C.: Specification of constraint based inference mechanism through extended unification. Dissertation, Dept. of Medical Cybernetics & AI, University of Vienna (1990)

    Google Scholar 

  26. Conte, R., Falcone, R., Sartor, G.: Special issue on agents and norms. Artificial Intelligence and Law 1 (1999)

    Google Scholar 

  27. Castelfranchi, C., Dignum, F., Jonker, C., Treur, J.: Deliberative normative agents: Principles and architecture. In: Jennings, N.R. (ed.) ATAL 1999. LNCS, vol. 1757, pp. 364–378. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  28. ALFEBIITE: A Logical Framework for Ethical Behaviour between Infohabitants in the Information Trading Economy of the universal information ecosystem. IST-1999-10298 (1999), Home Page: http://www.iis.ee.ic.ac.uk/~alfebiite/ab-home.htm

  29. Mello, P., Torroni, P., Gavanelli, M., Alberti, M., Ciampolini, A., Milano, M., Roli, A., Lamma, E., Riguzzi, F., Maudet, N.: A logic-based approach to model interaction amongst computees. Technical report, SOCS Consortium (2003), Deliverable D5 (Available on request)

    Google Scholar 

  30. Yolum, P., Singh, M.: Flexible protocol specification and execution: applying event calculus planning using commitments. In: Castelfranchi, C., Lewis Johnson, W. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), Part II, Bologna, Italy, pp. 527–534. ACM Press, New York (2002)

    Chapter  Google Scholar 

  31. Singh, M.: Agent communication language: rethinking the principles, pp. 40–47. IEEE Computer, Los Alamitos (1998)

    Google Scholar 

  32. Fornara, N., Colombetti, M.: Operational specification of a commitment-based agent communication language. In: Castelfranchi, C., Lewis Johnson, W. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), Part II, Bologna, Italy, pp. 535–542. ACM Press, New York (2002)

    Google Scholar 

  33. Colombetti, M., Fornara, N., Verdicchio, M.: The role of institutions in multiagent systems. In: Proceedings of the Workshop on Knowledge based and reasoning agents, VIII Convegno AI*IA 2002, Siena, Italy (2002)

    Google Scholar 

  34. Colombetti, M., Fornara, N., Verdicchio, M.: A social approach to communication in multiagent systems. In: Leite, J.A., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol. 2990, pp. 193–222. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  35. Kakas, A., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: A logic-based approach to model computees. Technical report, SOCS Consortium (2003), Deliverable D4 (Available on request)

    Google Scholar 

  36. 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, vol. 2699, pp. 37–52. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  37. Arisha, K.A., Ozcan, F., Ross, R., Subrahmanian, V.S., Eiter, T., Kraus, S.: IMPACT: a Platform for Collaborating Agents. IEEE Intelligent Systems 14, 64–72 (1999)

    Article  Google Scholar 

  38. Eiter, T., Subrahmanian, V., Pick, G.: Heterogeneous active agents, I: Semantics. Artificial Intelligence 108, 179–255 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  39. Kakas, A.C., Lamma, E., Mancarella, P., Mello, P., Stathis, K., Toni, F.: Computational model for computees and societies of computees. Technical report, SOCS Consortium (2003), Deliverable D8 (Available on request)

    Google Scholar 

  40. Russo, A., Miller, R., Nuseibeh, B., Kramer, J.: An abductive approach for analysing event-based requirements specifications. In: Stuckey, P.J. (ed.) ICLP 2002. LNCS, vol. 2401, pp. 22–37. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  41. Kowalski, R.A., Sergot, M.: A logic-based calculus of events. New Generation Computing 4, 67–95 (1986)

    Article  Google Scholar 

  42. Esteva, M., de la Cruz, D., Sierra, C.: ISLANDER: an electronic institutions editor. In: Castelfranchi, C., Lewis Johnson, W. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), Part III, Bologna, Italy, pp. 1045–1052. ACM Press, New York (2002)

    Chapter  Google Scholar 

  43. Bracciali, A., Kakas, A.C., Lamma, E., Mello, P., Stathis, K., Toni, F., Torroni, P.: D11: Evaluation and self assessment. Technical report, SOCS Consortium (2003), Deliverable D11 (Available on request)

    Google Scholar 

  44. MASSiVE: sviluppo e verifica di sistemi multi-agente basati sulla logica. Home Page: http://www.di.unito.it/massive/

Download references

Author information

Authors and Affiliations

  1. Dip. di Ingegneria, Università di Ferrara, Via Saragat, 1, 44100, Ferrara, Italy

    Marco Alberti, Marco Gavanelli & Evelina Lamma

  2. DEIS, Università di Bologna, Viale Risorgimento, 2, 40136, Bologna, Italy

    Federico Chesani, Paola Mello & Paolo Torroni

Authors
  1. Marco Alberti
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Federico Chesani
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Marco Gavanelli
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Evelina Lamma
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Paola Mello
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Paolo Torroni
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Centre for Computational and Systems Biology, The Microsoft Research - University of Trento, Piazza Manci, 17, 38050, Povo, TN, Italy

    Corrado Priami

  2. Dipartimento di Informatica e Telecomunicazioni, Università di Trento, Italy

    Paola Quaglia

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P. (2005). The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies. In: Priami, C., Quaglia, P. (eds) Global Computing. GC 2004. Lecture Notes in Computer Science, vol 3267. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31794-4_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-31794-4_17

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-31794-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation