A Protocol-Based Semantics for FIPA'97 ACL and its Implementation in JADE

@inproceedings{Pitt1999APS,
  title={A Protocol-Based Semantics for FIPA'97 ACL and its Implementation in JADE},
  author={Jeremy V. Pitt and Fabio Bellifemine},
  year={1999}
}
There are fundamental limitations on using mental attitudes to formalise the semantics of an Agent Communication Language (ACL). In this paper, we define a general semantic framework for a class of ACLs in terms of protocols, and develop a method for designing and specifying a member of this class, and configuring it for a particular application. We then analyse the performatives and protocols of FIPA’97 ACL from this point of view. We show its usage in the agent execution model of JADE, a… CONTINUE READING

Similar Papers

References

Publications referenced by this paper.
SHOWING 1-10 OF 12 REFERENCES

Initial Specification of Multi-Agent System for Realisation of Load Control and Overload Protection Strategy, MARINER Project (EU ACTS AC333

J. Pitt, Prouskas, K. eds
  • Deliverable D3, http://www.teltec.dcu.ie/mariner,
  • 1998

Initial Specification of Multi-Agent System for Realisation of Load Control and Overload Protection Strategy, MARINER Project (EU ACTS AC333

J. Pitt, Prouskas, K. eds
  • Deliverable D3, http://www.teltec.dcu.ie/mariner,
  • 1998

Verifiable semantics for agent communication languages

  • Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160)
  • 1998
VIEW 1 EXCERPT

A Rational Agent as a Kernel of a Co-operative Dialogue System: Implementing a Logical Theory of Interaction

P. Breiter, M. Sadek
  • In Proceedings ECAI'96 Workshop on Agent Theories, Architectures and Languages,
  • 1996
VIEW 3 EXCERPTS

Normalized Interactions between autonomous agents

  • Computer Supported Cooperative Work (CSCW)
  • 1996
VIEW 1 EXCERPT