Skip to main content
SpringerLink
Log in

Multi-agent Systems in Computational Logic: Challenges and Outcomes of the SOCS Project

  • Conference paper
Computational Logic in Multi-Agent Systems (CLIMA 2005)

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

Included in the following conference series:

Abstract

The SOCS project (A computational logic model for the description, analysis and verification of global and open SOcieties of heterogeneous ComputeeS), funded by the European Commission under the Fifth Framework, Future and Emerging Technologies programme, has been one of the main sponsors of CLIMA VI. This short article outlines the project’s main challenges and its main outcomes.

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. The SCIFF abductive proof procedure home page (2005), http://lia.deis.unibo.it/research/sciff/

  2. T.S.-S. (socs social infrastructure) home page (2006), http://lia.deis.unibo.it/research/socs_si/

  3. Alberti, M., Athienitou, F., Bracciali, A., Chesani, F., Endriss, U., Gavanelli, M., Kakas, A., Lamma, E., Lu, W., Mancarella, P., Mello, P., Sadri, F., Stathis, K., Toni, F., Torroni, P.: Verifiable properties of societies of computees. Technical report, SOCS Consortium (2005), Deliverable D13. Available from the SOCS project web site, http://lia.deis.unibo.it/research/socs/guests/publications/

  4. Alberti, M., Bracciali, A., Chesani, F., Ciampolini, A., Endriss, U., Gavanelli, M., Guerri, A., Kakas, A., Lamma, E., Lu, W., Mancarella, P., Mello, P., Milano, M., Riguzzi, F., Sadri, F., Stathis, K., Terreni, G., Toni, F., Torroni, P., Yip, A.: Experiments with animated societies of computees. Technical report, SOCS Consortium (2005), Deliverable D14. Available from the SOCS project web site, http://lia.deis.unibo.it/research/socs/guests/publications/

  5. Alberti, M., Bracciali, A., Chesani, F., Endriss, U., Gavanelli, M., Lu, W., Stathis, K., Torroni, P.: SOCS prototype. Technical report, SOCS Consortium (2003), Deliverable D9. Available from the SOCS project web site, http://lia.deis.unibo.it/research/socs/guests/publications/

  6. Alberti, M., Chesani, F., Gavanelli, M., Guerri, A., Lamma, E., Mello, P., Torroni, P.: Expressing interaction in combinatorial auction through social integrity constraints. Intelligenza Artificiale II(1), 22–29 (2005)

    Google Scholar 

  7. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E.: The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses. In: Wolf, A., Frühwirth, T., Meister, M. (eds.) 19th Workshop on (Constraint) Logic Programming W(C)LP 2005. Ulmer Informatik-Berichte, vol. 2005-01, pp. 111–122 (2005)

    Google Scholar 

  8. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, 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), Modena, Italy, pp. 387–392. IEEE Press, Los Alamitos (2004)

    Chapter  Google Scholar 

  9. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: The SOCS computational logic approach to the specification and verification of agent societies. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol. 3267, pp. 314–339. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  10. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based tool. Applied Artificial Intelligence 20(4-5) (2006)

    Google Scholar 

  11. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Security protocols verification in Abductive Logic Programming: a case study. In: Dikenelli, O., Gleizes, M.-P., Ricci, A. (eds.) ESAW 2005. LNCS (LNAI), vol. 3963, pp. 106–124. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  12. Alberti, M., Ciampolini, A., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: A social ACL semantics by deontic constraints. In: Mařík, V., Müller, J.P., Pěchouček, M. (eds.) CEEMAS 2003. LNCS (LNAI), vol. 2691, pp. 204–213. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  13. M. Alberti, D. Daolio, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. Specification and verification of agent interaction protocols in a logic-based system. In H. M. Haddad, A. Omicini, and R. L. Wainwright, editors, Proceedings of the 19th Annual ACM Symposium on Applied Computing (SAC 2004),March 14–17, pages 72–78, Nicosia, Cyprus, 2004. ACM Press.

    Google Scholar 

  14. Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Sartor, G., Torroni, P.: Mapping deontic operators to abductive expectations. Computational and Mathematical Organization Theory (2006)

    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 (LNAI), vol. 2829, pp. 287–299. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  16. Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Specification and verification of agent interactions using Social Integrity Constraints. Electronic Notes in Theoretical Computer Science 85(2) (2003)

    Google Scholar 

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

    Google Scholar 

  18. Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: The SCIFF abductive proof-procedure. In: Bandini, S., Manzoni, S. (eds.) AI*IA 2005. LNCS (LNAI), vol. 3673, pp. 135–147. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

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

    Chapter  Google Scholar 

  20. Chesani, F., Gavanelli, M., Alberti, M., Lamma, E., Mello, P., Torroni, P.: Specification and verification of agent interaction using abductive reasoning. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS, vol. 3900, pp. 243–264. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  21. Demetriou, N., Kakas, A.C.: Argumentation with abduction. In: Proceedings of the fourth Panhellenic Symposium on Logic (2003)

    Google Scholar 

  22. Endriss, U., Mancarella, P., Sadri, F., Terreni, G., Toni, F.: The CIFF proof procedure for abductive logic programming with constraints. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 680–684. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  23. Endriss, U., Maudet, N., Sadri, F., Toni, F.: Protocol conformance for logicbased agents. In: Gottlob, G., Walsh, T. (eds.) Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI 2003), Acapulco, Mexico. Morgan Kaufmann Publishers, San Francisco (2003)

    Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  26. Gavanelli, M., Lamma, E., Torroni, P., Mello, P., Stathis, K., Moraïtis, P., Kakas, A.C., Demetriou, N., Terreni, G., Mancarella, P., Bracciali, A., Toni, F., Sadri, F., Endriss, U.: Computational model for computees and societies of computees. Technical report, SOCS Consortium (2003), Deliverable D8. Available from the SOCS project web site, http://lia.deis.unibo.it/research/socs/guests/publications/

  27. Global Computing, Future and Emerging Technologies. Co-operation of autonomous and mobile entities in dynamic environments (2000) Home Page, http://www.cordis.lu/ist/fetgc.htm

  28. 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 from the SOCS project web site, http://lia.deis.unibo.it/research/socs/guests/publications/

  29. Kakas, A., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: The KGP model of agency. In: Lopez de Mantaras, R., Saitta, L. (eds.) Proceedings of the Sixteenth European Conference on Artificial Intelligence, Valencia, Spain (ECAI 2004). IOS Press, Amsterdam (2004)

    Google Scholar 

  30. Kakas, A.C., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: Declarative agent control. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol. 3487, pp. 96–110. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  31. Kakas, A.C., Toni, F.: Computing negation as failure via argumentation. Journal of Logic and Computation 9, 515–562 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  32. 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 from the SOCS project web site, http://lia.deis.unibo.it/research/socs/guests/publications/

  33. Sadri, F.: Using the KGP model of agency to design applications (Tutorial paper). In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS, vol. 3900, pp. 165–185. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  34. Sadri, F., Toni, F.: Variety of behaviours through profiles in logic-based agents (in this volume)

    Google Scholar 

  35. SOcieties of ComputeeS (SOCS). A computational logic model for the description, analysis and verification of global and open SOcieties of heterogeneous ComputeeS. IST-2001-32530 (2002-2005), http://lia.deis.unibo.it/research/socs/

  36. Stathis, K., Kakas, A., Lu, W., Demetriou, N., Endriss, U., Bracciali, A.: PROSOCS: A platform for programming software agents in computational logic. Applied Artificial Intelligence 20(4-5) (2006)

    Google Scholar 

  37. Stathis, K., Toni, F.: Ambient Intelligence using KGP Agents. In: Markopoulos, P., Eggen, B., Aarts, E., Crowley, J.L. (eds.) EUSAI 2004. LNCS (LNAI), vol. 3295, pp. 351–362. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, Imperial College London, 180 Queen’s Gate, SW7 2BZ, London, UK

    Francesca Toni

Authors
  1. Francesca Toni
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computing, Imperial College London, UK

    Francesca Toni

  2. DEIS, University of Bologna, V.le Risorgimento 2, 40136, Bologna, Italy

    Paolo Torroni

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Toni, F. (2006). Multi-agent Systems in Computational Logic: Challenges and Outcomes of the SOCS Project. In: Toni, F., Torroni, P. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2005. Lecture Notes in Computer Science(), vol 3900. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11750734_26

Download citation

  • DOI: https://doi.org/10.1007/11750734_26

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation