Some Remarks on the Semantics of FIPA's Agent Communication Language
Purchase on Springer.com
$39.95 / €34.95 / £29.95*
Rent the article at a discountRent now
* Final gross prices may vary according to local VAT.
The Foundation for Intelligent Physical Agents (FIPA) standardisation body has produced a set of specifications outlining a generic model for the architecture and operation of agent-based systems. The FIPA'97 Specification Part 2 is the normative specification of an Agent Communication Language (ACL) which agents use to ‘talk’ to each other. The FIPA ACL is based on speech act theory. Its syntax is defined by performatives parameterised by attribute value pairs, while its semantics is given in terms of the mental states of the communicating agents (i.e. intentionality). However, it is not clear if the formal semantics is meant as a normative or informative specification. The primary purpose of this paper is then to give an expository analysis of the FIPA ACL semantics to clarify this situation. We also offer some guidelines motivated from our own analysis, experience and understanding of how the semantic definitions and logical axioms should be interpreted and applied. However, our conclusion is that while the FIPA ACL specification offers significant potential to a developer using it for guidance, there are limitations on using an agent's mental state to specify the meaning of a performative as part of a normative standard. We consider some possibilities for making improvements in this direction.
- R. Brennan and B. Jennings, “MARINER Project,” OMG IN/CORBA Workshop, Manchester, 1998.
- P. Bretier and M. Sadek, “A rational agent as a kernel of a co-operative dialogue system: Implementing a logical theory of interaction,” in Proceedings ECAI'96 Workshop on Agent Theories, Architectures and Languages, Springer-Verlag: Berlin, 1996, pp. 261–276.
- B. Burmeister, A. Haddadi and K. Sundermeyer, “Generic configurable cooperation protocols for multi-agent systems,” in MAAMAW'93, Neuchatel, 1993.
- M. Chang and C. Woo, “A speech-act-based negotiation protocol: Design, implementation, and test use,” ACM Transactions on Information Systems, vol. 12(4), pp. 360–382, 1994.
- P. Cohen and H. Levesque, “Intention is choice with commitment,” Artificial Intelligence, vol. 42(2–3), pp. 213–261, 1990.
- P. Cohen and H. Levesque, “Communicative actions for artificial agents,” in V. Lesser (ed.), Proceedings ICMAS95, AAAI Press: Menlo Park, CA, 1995.
- T. Finin, Y. Labrou and J. Mayfield, “KQML as an agent communication language,” in J. Bradshaw (ed.), Software Agents, MIT Press: Cambridge, MA, 1995.
- FIPA, “FIPA'97 Specification Part 2: Agent Communication Language,” Foundation for Intelligent Physical Agents, http://drogo.cselt.stet.it/fipa/, 1997.
- C. Flores and J. Ludlow, “Doing and speaking in the office,” in G. Fisk and R. Sprague (eds.), DSS: Issues and Challenges, Pergamon Press: Elmsford, NY, pp. 95–118.
- J. Galliers, “Autonomous belief revision and communication,” in P. Gardenfors (ed.), Belief Revision, Cambridge University Press: Cambridge, UK, 1992.
- R. Gustavsson, “Multi agent systems as open societies,” in M. Singh, A. Rao and M. Wooldridge, (eds.), Intelligent Agents IV, LNAI, vol. 1365, Springer-Verlag: Berlin, 1998.
- D. Kinny, M. Georgeff, J. Bailey, D. Kemp and K. Ramamohanarao, “Active databases and agent systems: A comparison,” in Proceedings Second International Rules in Database Systems Workshop, 1995.
- Y. Labrou and T. Finin, “Semantics for an agent communication language,” in M. Singh, A. Rao and M. Wooldridge (eds.), Intelligent Agents IV, LNAI, vol. 1365, Springer-Verlag: Berlin, 1998.
- Y. Labrou and T. Finin, “Semantics and conversations for an agent communication language,” in M. Huhns and M. Singh, (eds.), Readings in Agents, Morgan Kaufmann: Los Altos, CA, 1998, pp. 235–242.
- P. Luff, N. Gilbert and D. Frohlich (eds), Computers and Conversation, Academic Press: San Diego, 1990.
- J. Pitt, M. Anderton, and J. Cunningham, “Normalized interactions between autonomous agents: A case study in inter-organizational project management,” Computer-Supported Cooperative Work, vol. 5, pp. 201–222, 1996.
- J. Pitt and K. Prouskas, “Initial specification of multi-agent system for realisation of load control and overload protection strategy,” MARINER Project (EU ACTS AC333) Deliverable D3, http://www.teltec.dcu.ie/mariner, 1998.
- A. Rao and M. Georgeff, “BDI agents: from theory to practice,” in V. Lesser (ed.), Proceedings ICMAS95. AAAI Press: Menlo Park, CA, 1995.
- J. Rosenschein and G. Zlotkin, Rules of Encounter, MIT Press: Cambridge, MA, 1998.
- D. Sadek, “Dialogue acts are rational plans,” in Proceedings ESCA/ETRW Workshop on the Structure of Multimodal Dialogue, Maratea, Italy, 1991, pp. 1–29.
- D. Sadek, “A study in the logic of intention,” in Proceedings 3rd Conference on Principles of Knowledge Representation and Reasoning (KR'92), Cambridge, MA, 1992, pp. 462–473.
- D. Sadek, “Communication theory = rationality principles + communicative act models,” in Proceedings AAAI94 Workshop on Planning for Interagent Communication, Seattle, 1994, pp. 78–82.
- T. Sandholm, “Agents in electronic commerce: Component technologies for automated negotiation and coalition formation,” in M. Klusch (ed.), Co-operative Information Agents, LNAI, vol. 1435, Springer-Verlag: Berlin, 1998, pp. 113–134.
- J. Searle, “Conversation,” in H. Parret and J. Vershueren (eds.), (on) Searle on Conversation, Benjamins: Amsterdam, 1992, pp. 7–29.
- M. Singh, “A logic of intentions and beliefs,” Journal of Philosophical Logic, vol. 22, pp. 513–544, 1993.
- M. Singh, “Agent communication languages: Rethinking the principles,” IEEE Computer, pp. 40–47, 1993.
- I. Smith, P. Cohen, J. Bradshaw, M. Greaves and H. Holmback, “Designing conversation policies using joint intention theory,” in Y. Demazeau (ed.), Proceedings ICSMAS98, IEEE Press: New York, 1998.
- M. Wooldridge, “Verifiable semantics for agent communication languages,” in Y. Demazeau (ed.), Proceedings ICMAS98, IEEE Press: New York, 1998.
- Some Remarks on the Semantics of FIPA's Agent Communication Language
Autonomous Agents and Multi-Agent Systems
Volume 2, Issue 4 , pp 333-356
- Cover Date
- Print ISSN
- Online ISSN
- Kluwer Academic Publishers
- Additional Links
- agent communication languages
- Industry Sectors