Advertisement

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

  • Francesca Toni
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3900)

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.

Keywords

Logic Programming Combinatorial Auction Heterogeneous ComputeeS Computational Logic Proof Procedure 
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.
    The SCIFF abductive proof procedure home page (2005), http://lia.deis.unibo.it/research/sciff/
  2. 2.
    T.S.-S. (socs social infrastructure) home page (2006), http://lia.deis.unibo.it/research/socs_si/
  3. 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. 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. 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. 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. 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. 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)CrossRefGoogle Scholar
  9. 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)CrossRefGoogle Scholar
  10. 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. 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)CrossRefGoogle Scholar
  12. 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)CrossRefGoogle Scholar
  13. 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. 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. 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)CrossRefGoogle Scholar
  16. 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. 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. 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)CrossRefGoogle Scholar
  19. 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)CrossRefGoogle Scholar
  20. 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)CrossRefGoogle Scholar
  21. 21.
    Demetriou, N., Kakas, A.C.: Argumentation with abduction. In: Proceedings of the fourth Panhellenic Symposium on Logic (2003)Google Scholar
  22. 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)CrossRefGoogle Scholar
  23. 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. 24.
    Frühwirth, T.: Theory and practice of constraint handling rules. Journal of Logic Programming 37(1-3), 95–138 (1998)MathSciNetCrossRefMATHGoogle Scholar
  25. 25.
    Fung, T.H., Kowalski, R.A.: The IFF proof procedure for abductive logic programming. Journal of Logic Programming 33(2), 151–165 (1997)MathSciNetCrossRefMATHGoogle Scholar
  26. 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. 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. 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. 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. 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)CrossRefGoogle Scholar
  31. 31.
    Kakas, A.C., Toni, F.: Computing negation as failure via argumentation. Journal of Logic and Computation 9, 515–562 (1999)MathSciNetCrossRefMATHGoogle Scholar
  32. 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. 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)CrossRefGoogle Scholar
  34. 34.
    Sadri, F., Toni, F.: Variety of behaviours through profiles in logic-based agents (in this volume)Google Scholar
  35. 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. 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. 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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Francesca Toni
    • 1
  1. 1.Department of ComputingImperial College LondonLondonUK

Personalised recommendations