Advertisement

A Social ACL Semantics by Deontic Constraints

  • Marco Alberti
  • Anna Ciampolini
  • Marco Gavanelli
  • Evelina Lamma
  • Paola Mello
  • Paolo Torroni
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2691)

Abstract

In most proposals for multi-agent systems, an Agent Communication Language (ACL) is the formalism designed to express knowledge exchange among agents. However, a universally accepted standard for ACLs is still missing. Among the different approaches to the definition of ACL semantics, the social approach seems the most appropriate to express semantics of communication in open societies of autonomous and heterogeneous agents.

In this paper we propose a formalism (deontic constraints) to express social ACL semantics, which can be grounded on a computational logic framework, thus allowing automatic verification of compliance by means of appropriate proof procedures. We also show how several common communication performatives can be defined by means of deontic constraints.

Keywords

Multiagent System Open Society Social Infrastructure Heterogeneous Agent Social Approach 
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]
    Finin, T., Labrou, Y., Mayfield, J.: KQML as an agent communication language. In: Software Agents. MIT Press, Cambridge (1997)Google Scholar
  2. [2]
    FIPA: FIPA Communicative Act Library Specification (2001) Published on August 10th, 2001, available for download from the FIPA website: http://www.fipa.org
  3. [3]
    Singh, M.: Agent communication language: rethinking the principles. IEEE Computer (1998) 40–47Google Scholar
  4. [4]
    Singh, M.P.: A social semantics for agent communication languages. In Dignum, F., Greaves, M., eds.: Issues in Agent Communication. Springer-Verlag, Heidelberg, Germany (2000) 31–45Google Scholar
  5. [5]
    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, ACM (2002) 535–542Google Scholar
  6. [6]
    Yolum, P., Singh, M.: Commitment machines. In: Intelligent Agents VIII, 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1–3, 2001 Revised Papers. Volume 2333 of LNAI., Springer Verlag (2002) 235–247Google Scholar
  7. [7]
    Alberti, M., Ciampolini, A., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Logic based semantics for agent communication languages. In Dunin-Keplicz, B., Werbrugge, R., eds.: Proceedings of the Workshop of Formal Approaches to Multiagent Systems (FAMAS03), Warsaw, Poland. (2003)Google Scholar
  8. [8]
    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
  9. [9]
    Torroni, P., Mello, P., Maudet, N., Alberti, M., Ciampolini, A., Lamma, E., Sadri, F., Toni, F.: A logic-based approach to modeling interaction among computees (preliminary report). In: UK Multi-Agent Systems (UKMAS) Annual Conference, Liverpool, UK. (2002)Google Scholar
  10. [10]
    Walton, D., Krabbe, E.: Commitment in Dialogue. SUNY, New York (1995)Google Scholar
  11. [11]
    Reed, C.A.: Dialogue frames in agent communication. In: Proceedings of the 3rd International Conference on Multi Agent Systems (ICMAS98), Paris, IEEE Press (1998) 246–253Google Scholar
  12. [12]
    Dignum, F., Dunin-Keplicz, B., Verbrugge, R.: Creating collective intention through dialogue. Logic J. of the IGPL 9 (2001) 145–158Google Scholar
  13. [13]
    Ciampolini, A., Lamma, E., Mello, P., Torroni, P.: An operational semantic for the safe execution of tasks in a constrained multi-agent setting. In Greco, S., Leone, N., eds.: Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA). Volume 2424 of LNCS., Springer Verlag (2002) 14–26Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Marco Alberti
    • 1
  • Anna Ciampolini
    • 2
  • Marco Gavanelli
    • 1
  • Evelina Lamma
    • 1
  • Paola Mello
    • 2
  • Paolo Torroni
    • 2
  1. 1.Dipartimento di IngegneriaUniversità degli Studi di FerraraFerraraItaly
  2. 2.Dipartimento di Elettronica, Informatica e SistemisticaUniversità degli Studi di BolognaBolognaItaly

Personalised recommendations