Abstract
One relevant aspect in the development of the Semantic Web framework is the achievement of a real inter-agents communication capability at the semantic level. The agents should be able to communicate and understand each other using standard communication protocols freely, that is, without needing a laborious a priori preparation, before the communication takes place.
For that setting we present in this paper a proposal that promotes to describe standard communication protocols using Semantic Web technology (specifically, OWL-DL and SWRL). Those protocols are constituted by communication acts. In our proposal those communication acts are described as terms that belong to a communication acts ontology, that we have developed, called CommOnt. The intended semantics associated to the communication acts in the ontology is expressed through social commitments that are formalized as fluents in the Event Calculus.
In summary, OWL-DL reasoners and rule engines help in our proposal for reasoning about protocols. We define some comparison relationships (dealing with notions of equivalence and specialization) between protocols used by agents from different systems.
Chapter PDF
Similar content being viewed by others
Keywords
References
FIPA: FIPA communicative act library specification (July 2005), http://www.fipa.org/specs/fipa00037/SC00037J.html
Greenwood, D., Lyell, M., Mallya, A., Suguri, H.: The IEEE FIPA approach to integrating software agents and web services. In: International Conference on Autonomous Agents and Multiagent Systems AAMAS, Hawaii, USA, pp. 14–18 (2007)
Bermúdez, J., Goñi, A., Illarramendi, A., Bagüés, M.I.: Interoperation among agent-based information systems through a communication acts ontology. Inf. Syst. 32(8), 1121–1144 (2007)
Singh, M.P.: Agent Communication Languages: Rethinking the Principles. IEEE Computer 31(12), 40–47 (1998)
Singh, M.P.: A social semantics for agent communication languages. In: Issues in Agent Communication, pp. 31–45. Springer, Heidelberg (2000)
Austin, J.L. (ed.): How to do things with words. Oxford University Press, Oxford (1962)
Wooldridge, M.: Semantic Issues in the Verification of Agent Comunication Languages. Journal of Autonomous Agents and Multi-Agent Systems 3(1), 9–31 (2000)
Venkatraman, M., Singh, M.P.: Verifying compliance with commitment protocols. Autonomous Agents and Multi-Agent Systems 2(3), 217–236 (1999)
Fornara, N., Colombetti, M.: Operational specification of a commitment-based agent communication language. In: AAMAS 2002: Proceedings of the first international joint conference on Autonomous agents and multiagent systems, pp. 536–542. ACM Press, New York (2002)
Shanahan, M.: The event calculus explained. In: Veloso, M.M., Wooldridge, M.J. (eds.) Artificial Intelligence Today. LNCS (LNAI), vol. 1600, pp. 409–430. Springer, Heidelberg (1999)
Mallya, A.U., Singh, M.P.: An algebra for commitment protocols. Autonomous Agents and Multi-Agent Systems 14(2), 143–163 (2007)
Yolum, P., Singh, M.P.: Flexible protocol specification and execution: Applying event calculus planning using commitments. In: Proceedings of the 1st International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS), July 2002, pp. 527–534. ACM Press, New York (2002)
Fornara, N., Colombetti, M.: Defining interaction protocols using a commitment-based agent communication language. In: AAMAS 2003: Proceedings of the second international joint conference on Autonomous agents and multiagent systems, pp. 520–527. ACM Press, New York (2003)
Desai, N., Mallya, A.U., Chopra, A.K., Singh, M.P.: Interaction protocols as design abstractions for business processes. IEEE Trans. Softw. Eng. 31(12), 1015–1027 (2005)
Yolum, P., Singh, M.: Enacting protocols by commitment concession. In: International Conference on Autonomous Agents and Multiagent Systems AAMAS, Hawaii, USA, pp. 116–123 (2007)
Berardi, D., Calvanese, D., Giacomo, G.D., Lenzerini, M., Mecella, M.: Automatic service composition based on behavioral descriptions. Int. J. Cooperative Inf. Syst. 14(4), 333–376 (2005)
Bordeaux, L., Salaün, G., Berardi, D., Mecella, M.: When are two web services compatible? In: Shan, M.-C., Dayal, U., Hsu, M. (eds.) TES 2004. LNCS, vol. 3324, pp. 15–28. Springer, Heidelberg (2005)
Kagal, L., Finin, T.: Modeling conversation policies using permissions and obligations. Autonomous Agents and Multi-Agent Systems 14(2), 187–206 (2007)
Endriss, U., Maudet, N., Sadri, F., Toni, F.: Logic-based agent communication protocols. In: Workshop on Agent Communication Languages, pp. 91–107 (2003)
Baldoni, M., Baroglio, C., Martelli, A., Patti, V.: A priori conformance verification for guaranteeing interoperability in open environments. In: Georgakopoulos, D., Ritter, N., Benatallah, B., Zirpins, C., Feuerlicht, G., Schoenherr, M., Motahari-Nezhad, H.R. (eds.) ICSOC 2006. LNCS, vol. 4652, pp. 339–351. Springer, Heidelberg (2007)
Chopra, A.K., Singh, M.P.: Producing compliant interactions: Conformance, coverage, and interoperability. In: Baldoni, M., Endriss, U. (eds.) DALT 2006. LNCS (LNAI), vol. 4327, pp. 1–15. Springer, Heidelberg (2006)
d’Inverno, M., Kinny, D., Luck, M.: Interaction protocols in agentis. In: Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS 1998), pp. 261–268 (1998)
Mazouzi, H., Seghrouchni, A.E.F., Haddad, S.: Open protocol design for complex interactions in multi-agent systems. In: AAMAS 2002: Proceedings of the first international joint conference on Autonomous agents and multiagent systems, pp. 517–526. ACM Press, New York (2002)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Berges, I., Bermúdez, J., Goñi, A., Illarramendi, A. (2008). Semantic Web Technology for Agent Communication Protocols. In: Bechhofer, S., Hauswirth, M., Hoffmann, J., Koubarakis, M. (eds) The Semantic Web: Research and Applications. ESWC 2008. Lecture Notes in Computer Science, vol 5021. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68234-9_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-68234-9_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68233-2
Online ISBN: 978-3-540-68234-9
eBook Packages: Computer ScienceComputer Science (R0)