Intention is choice with commitment
Artificial Intelligence
Obligations directed from bearers to counterparts
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
Modal logic
The logic of public announcements, common knowledge, and private suspicions
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
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
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
Classificatory Aspects of Counts-as
Journal of Logic and Computation
Logics of communication and change
Information and Computation
Checking correctness of business contracts via commitments
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Semantical considerations on dialectical and practical commitments
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Social commitment delegation and monitoring
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Complexity Results of STIT Fragments
Studia Logica
Representing and monitoring social commitments using the event calculus
Autonomous Agents and Multi-Agent Systems
| Hi-index | 0.00 |
The aim of this work is to propose a model-theoretic semantics and a complete logic for the dynamics of commitments. In the first part of the article, a formalization of the concept of social commitment in STIT logic is presented. STIT is one of the most prominent formal accounts of agency. It is the logic of constructions of the form "agent i sees to it that ϕ". In the second part, the article presents an extension of STIT logic by dynamic operators which enable to describe two basic operations on commitment: commitment creation and commitment cancelation. The logic is used to develop an axiomatic and semantic analysis of commitment change in multi-agent systems.