ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Posit spaces: a performative model of e-commerce
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Ensuring consistency in the joint beliefs of interacting agents
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Dynamic semantics for agent communication languages
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Implementing commitment-based interactions
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Representing and reasoning about commitments in business processes
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Conversational semantics with social commitments
AC'04 Proceedings of the 2004 international conference on Agent Communication
A New Semantics of Social Commitments Using Branching Space-Time Logic
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Reasoning about agents and protocols via goals and commitments
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Behavior-Oriented Commitment-based Protocols
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Modeling and reasoning about service-oriented applications via goals and commitments
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
What happened to my commitment? exception diagnosis among misalignment and misbehavior
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Programming multiagent systems without programming agents
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
Elements of a business-level architecture for multiagent systems
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
Adaptation in open systems: giving interaction its rightful place
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Commitment-based protocols with behavioral rules and correctness properties of MAS
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
Specifying and applying commitment-based business patterns
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Social commitment delegation and monitoring
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Correctness properties for multiagent systems
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Verifiable semantic model for agent interactions using social commitments
LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems
A formal treatment of agents, goals and operations using alternating-time temporal logic
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
The evolution of interoperability
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Exception diagnosis in multiagent contract executions
Annals of Mathematics and Artificial Intelligence
The emergence of commitments and cooperation
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Towards a satisfactory conversion of messages among agent-based information systems
Expert Systems with Applications: An International Journal
Research directions in agent communication
ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems
Formalizing and verifying protocol refinements
ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems
Constitutive and regulative specifications of commitment protocols: A decoupled approach
ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems
Representing and monitoring social commitments using the event calculus
Autonomous Agents and Multi-Agent Systems
| Hi-index | 0.00 |
Commitments provide a basis for understanding interactions in multiagent systems. Successful interoperation relies upon the interacting parties being aligned with respect to their commitments. However, alignment is nontrivial in a distributed system where agents communicate asynchronously and make different observations. We propose a formalization for commitments that ensures alignment despite asynchrony. This formalization consists of three elements: (1) a semantics of commitment operations; (2) messaging patterns that implement the commitment operations; and (3) weak constraints on agents' behaviors to ensure the propagation of vital information. We prove that our formalization ensures alignment. We illustrate the generality of our formalization with several real-life scenarios.