Open protocol design for complex interactions in multi-agent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Flexible protocol specification and execution: applying event calculus planning using commitments
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Operational specification of a commitment-based agent communication language
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Verifying Compliance with Commitment Protocols
Autonomous Agents and Multi-Agent Systems
Semantic Issues in the Verification of Agent Communication Languages
Autonomous Agents and Multi-Agent Systems
A Social Semantics for Agent Communication Languages
Issues in Agent Communication
Interaction Protocols in Agentis
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Defining interaction protocols using a commitment-based agent communication language
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
The Knowledge Engineering Review
Interaction Protocols as Design Abstractions for Business Processes
IEEE Transactions on Software Engineering
An algebra for commitment protocols
Autonomous Agents and Multi-Agent Systems
Modeling conversation policies using permissions and obligations
Autonomous Agents and Multi-Agent Systems
Commonsense Reasoning
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
A framework for managing the evolution of business protocols in web services
APCCM '07 Proceedings of the fourth Asia-Pacific conference on Comceptual modelling - Volume 67
Enacting protocols by commitment concession
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
The IEEE FIPA approach to integrating software agents and web services
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Artificial intelligence today
The RuleML family of web rule languages
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
When are two web services compatible?
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
A priori conformance verification for guaranteeing interoperability in open environments
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Producing compliant interactions: conformance, coverage, and interoperability
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Towards a satisfactory conversion of messages among agent-based information systems
Expert Systems with Applications: An International Journal
Hi-index | 0.01 |
One relevant aspect in the development of the Semantic Web framework is the achievement of a real inter-agent 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 that presents the following main features: (i) 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. (ii) 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. (iii) It discovers the following types of protocol relationships: equivalence, specialization, restriction, prefix, suffix, infix and complement_to_infix.