Abstract
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 language | British English |
|---|---|
| Pages (from-to) | 222-230 |
| Number of pages | 9 |
| Journal | CEUR Workshop Proceedings |
| Volume | 494 |
| State | Published - 2009 |
| Event | 2nd Multi-Agent Logics, Languages, and Organisations Federated Workshops, MALLOW 2009 - Turin, Italy Duration: 7 Sep 2009 → 10 Sep 2009 |