Conditional norms and dyadic obligations in time (bibtex)
by Jan Broersen, Leendert van der Torre
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.
Reference:
Conditional norms and dyadic obligations in time (Jan Broersen, Leendert van der Torre), In Proceedings of Eighteenth European Conference on Artificial Intelligence (ECAI2008), 2008.
Bibtex Entry:
@InProceedings{Broersen2008,
  Title                    = {Conditional norms and dyadic obligations in time},
  Author                   = {Jan Broersen and Leendert van der Torre},
  Booktitle                = {Proceedings of Eighteenth European Conference on Artificial Intelligence (ECAI2008)},
  Year                     = {2008},

  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},
  Bdsk-url-1               = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=10141},
  Date-modified            = {2011-12-20 17:44:32 +0100},
  Timestamp                = {2013.07.26},
  Url                      = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=10141}
}
Powered by bibtexbrowser