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
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
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
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
Semantic interoperability of clinical data
Proceedings of the First International Workshop on Model-Driven Interoperability
Representation and monitoring of commitments and norms using OWL
AI Communications - European Workshop on Multi-Agent Systems (EUMAS) 2009
Ontology and time evolution of obligations and prohibitions using semantic web technology
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
| Hi-index | 0.00 |
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 SemanticWeb 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.