“Sometimes” and “not never” revisited: on branching versus linear time temporal logic
Journal of the ACM (JACM) - The MIT Press scientific computation series
Model checking
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
A Social Semantics for Agent Communication Languages
Issues in Agent Communication
NuSMV 2: An OpenSource Tool for Symbolic Model Checking
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Computationally Grounded Theories of Agency
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
A Logical Model for Commitment and Argument Network for Agent Communication
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
On the semantics of conditional commitment
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
An algebra for commitment protocols
Autonomous Agents and Multi-Agent Systems
Design time analysis of multiagent protocols
Data & Knowledge Engineering
Verifying commitment based business protocols and their compositions: model checking using promela and spin
Artificial institutions: a model of institutional reality for open multiagent systems
Artificial Intelligence and Law
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Model checking communicative agent-based systems
Knowledge-Based Systems
Multiagent commitment alignment
Proceedings of The 8th International 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
Semantical considerations on dialectical and practical commitments
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
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
Business Modeling via Commitments
SOCASE '09 Proceedings of the AAMAS 2009 International Workshop on Service-Oriented Computing: Agents, Semantics, and Engineering
A new logical semantics for agent communication
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Social commitments in time: satisfied or compensated
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
MCMAS: a model checker for multi-agent systems
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Model checking commitment protocols
IEA/AIE'11 Proceedings of the 24th international conference on Industrial engineering and other applications of applied intelligent systems conference on Modern approaches in applied intelligence - Volume Part II
Commitments with regulations: reasoning about safety and control in REGULA
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
On the verification of social commitments and time
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Specifying and implementing social Web services operation using commitments
Proceedings of the 27th Annual ACM Symposium on Applied Computing
A retrospective on the reactive event calculus and commitment modeling language
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Verifying conformance of multi-agent commitment-based protocols
Expert Systems with Applications: An International Journal
Communicative commitments: Model checking and complexity analysis
Knowledge-Based 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 |
Existing approaches about defining formal semantics of commitment usually consider operations as axioms or constrains on top of the commitment semantics, which fail to capture the meaning of interactions that are central to real-life business scenarios. Furthermore, existing semantic frameworks using different logics do not gather the full semantics of commitment operations and semantics of social commitments within the same framework. This paper develops a novel unified semantic model for social commitments and their operations. It proposes a logical model based on a new logic extending CTL* with commitments and operations to specify agent interactions. We also propose a new definition of assignment and delegation operations by considering the relationship between the original and new commitment contents. We prove that the proposed model satisfies some properties that are desirable when modeling agent interactions in MASs and introduce a NetBill protocol as a running example to clarify the automatic verification of this model. Finally, we present an implementation and report on experimental results of this protocol using the NuSMV and MCMAS symbolic model checkers.