@inproceedings{broersen:ecai08,
  abstract = {Reasoning about norm violation and time is of central concern to the regulation of multi-agent system behavior. Here we continue work in [2] on an approach to reasoning about norms, obligations, time and agents, involving three main ingredients. First, we assume a branch- ing temporal structure representing the change of propositions over time. Second, we use an algorithm that, given the input of the branch- ing temporal structure and a set of norms, produces an `obligation la- beling' of the temporal structure. Finally, we reason about the norms represented by these deontically labeled temporal structures to deter- mine norm redundancy and equivalence of normative systems.
We distinguish between conditional norms and conditional obli- gations. General directives like ''if an agent receives a request, it has to accept or reject within five seconds'' are conditional norms. We interpret norms by defining which conditional and/or temporal obli- gations they give rise to. For example, if at any moment in time for which the norm is in force, the agent receives a request, then for the following five seconds, if it has not accepted or rejected the request yet, it has the obligation to do so. So, norms `detach' obligations. The deontic logic literature distinguishes between so-called factual and deontic detachment [5]. The former is based on a match between the condition of the norm and the facts, and the latter is based on a match between the condition and the obligations.},
  affiliation = {icr},
  author = {Jan Broersen and Leendert van der Torre},
  booktitle = {Proceedings of Eighteenth European Conference on Artificial Intelligence (ECAI2008)},
  date-modified = {2011-12-20 17:44:32 +0100},
  title = {Conditional norms and dyadic obligations in time},
  url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=10141},
  year = 2008
}