An Integrated Semantics of Social Commitments and Associated Operations

Jamal Bentahar, Mohamed El-Menshawy, Rachida Dssouli
2009 Multi-Agent Logics, Languages, and Organisations Federated Workshops  
In this paper, we develop a unified semantic model for social commitments and associated operations. We propose a logical model based on CT L * 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
more » ... dvantage 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.
dblp:conf/mallow/BentaharED09 fatcat:xef5wiehx5el7dy4lg7t3fvo5q