Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
126 tokens/sec
GPT-4o
47 tokens/sec
Gemini 2.5 Pro Pro
43 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
47 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

A mechanism for discovering semantic relationships among agent communication protocols (2401.16216v1)

Published 29 Jan 2024 in cs.MA

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. Agents should be able to communicate with each other freely using different communication protocols, constituted by communication acts. For that scenario, we introduce in this paper an efficient mechanism presenting the following main features: - It promotes the description of the communication acts of protocols as classes that belong to a communication acts ontology, and associates to those acts a social commitment semantics formalized through predicates in the Event Calculus. - It is sustained on the idea that different protocols can be compared semantically by looking to the set of fluents associated to each branch of the protocols. Those sets are generated using Semantic Web technology rules. - It discovers the following types of protocol relationships: equivalence, specialization, restriction, prefix, suffix, infix and complement_to_infix.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (9)
  1. (2008) Web Ontology Language (OWL) Guide Version 1.0. http://www.w3.org/2001/sw/WebOnt/guide-src/Guide.html
  2. Austin JL (ed) (1962) How to do things with words. Oxford University Press
  3. FIPA (2005) FIPA communicative act library specification. Http://www.fipa.org/specs/fipa00037/SC00037J.html
  4. Kagal L, Finin T (2007) Modeling conversation policies using permissions and obligations. Autonomous Agents and Multi-Agent Systems 14(2):187–206
  5. Mallya AU, Singh MP (2007) An algebra for commitment protocols. Autonomous Agents and Multi-Agent Systems 14(2):143–163
  6. Shanahan M (1999) The event calculus explained. Lecture Notes in Computer Science 1600:409–430
  7. Singh MP (1998) Agent Communication Languages: Rethinking the Principles. IEEE Computer 31(12):40–47
  8. Venkatraman M, Singh MP (1999) Verifying compliance with commitment protocols. Autonomous Agents and Multi-Agent Systems 2(3):217–236
  9. Wooldridge M (2000) Semantic Issues in the Verification of Agent Comunication Languages. Journal of Autonomous Agents and Multi-Agent Systems 3(1):9–31
Citations (1)

Summary

We haven't generated a summary for this paper yet.