An integrated semantics of social commitments and associated operations

M. El-Menshawy, J. Bentahar, R. Dssouli

Research output: Contribution to journalConference articlepeer-review

2 Scopus citations


In this paper, we develop a unified semantic model for social commitments and associated operations. We propose a logical model based on CTL with modalities of commitments and associated operations that represent the dynamic behavior of agents. Our semantics differs from the previous proposals in which the operations used to manipulate commitments (e.g. creation, fulfillment, violation, withdrawn, etc.) have always been defined as axioms or constrains on top of the commitment semantics. The advantage of this logical model is to gather the direct semantics of these operations and the semantics of social commitments (propositional and conditional) within the same framework. Furthermore, this paper proposes a new definition of assignment and delegation operations by looking at the content of the assigned and delegated commitment that could be different from the content of the original commitment in terms of deadline. Finally, to stress the soundness of the model, we prove that the proposed semantics satisfies some properties that are desirable when modeling commitment-based multiagent systems.

Original languageBritish English
Pages (from-to)222-230
Number of pages9
JournalCEUR Workshop Proceedings
StatePublished - 2009
Event2nd Multi-Agent Logics, Languages, and Organisations Federated Workshops, MALLOW 2009 - Turin, Italy
Duration: 7 Sep 200910 Sep 2009


Dive into the research topics of 'An integrated semantics of social commitments and associated operations'. Together they form a unique fingerprint.

Cite this