A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
An Integrated Semantics of Social Commitments and Associated Operations
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
dblp:conf/mallow/BentaharED09
fatcat:xef5wiehx5el7dy4lg7t3fvo5q