Handbook of theoretical computer science (vol. B)
SAT-Based Decision Procedures for Classical Modal Logics
Journal of Automated Reasoning
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
A logical model of social commitment for agent communication
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
On the semantics of conditional commitment
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Conversational semantics sustained by commitments
Autonomous Agents and Multi-Agent Systems
Symbolic model checking for temporal-epistemic logics
ACM SIGACT News
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
On the enactability of business protocols
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
A modal semantics for an argumentation-based pragmatics for agent communication
ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
A contextual reading of conditional commitments
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
A logical analysis of commitment dynamics
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Modeling and verifying business interactions via commitments and dialogue actions
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part II
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
Commitments with regulations: reasoning about safety and control in REGULA
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Trust as dependence: a logical approach
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
Detecting conflicts in commitments
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Comma: a commitment-based business modeling methodology and its empirical evaluation
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Communicative commitments: Model checking and complexity analysis
Knowledge-Based Systems
Simulating UAV Surveillance for Analyzing Impact of Commitments in Multi-Agent Systems
International Journal of Agent Technologies and Systems
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
Hierarchical planning about goals and commitments
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Representing and reasoning about communicative conditional commitments
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Proceedings of the 6th International Conference on Security of Information and Networks
Norms as a basis for governing sociotechnical systems
ACM Transactions on Intelligent Systems and Technology (TIST) - Special Section on Intelligent Mobile Knowledge Discovery and Management Systems and Special Issue on Social Web Mining
| Hi-index | 0.00 |
This paper studies commitments in multi agent systems. A dialectical commitment corresponds to an agent taking a position about a putative fact, including for the sake of argument. A practical commitment corresponds to an agent being obliged to another to bring about a condition. Although commitments have been used in many works, an adequate formal semantics and axiomatization for them does not yet exist. This paper presents a logic of commitments that illustrates the commonalities and differences of the two kinds of commitments. In this manner, it generalizes the developments of previous papers, precisely delineates the meanings of commitments, and identifies important postulates used informally or semiformally in previous work.