Contextual Deontic Logic: Normative Agents, Violations and Independence (bibtex)
by Leendert W. N. van der Torre
Abstract:
In this paper we discuss when and how to use deontic logic in multi agent systems. Our central question is how to proceed once a norm has been violated or defeated, a key issue of deontic logic applications in multi agent systems. To bridge the logical analysis of norms in philosophy with applications in agent theory, we propose a practical approach based on violation contexts and independence statements. In particular, we introduce a combination of two traditional deontic logics, which we extend with so-called deontic and factual independence assumptions. We show how different notions of violability and defeasibility can be encoded in the logic by defining different ways in which independence assumptions are derived from the explicit manner of presentation. We also show how our approach can be used to give a new analysis of several notorious paradoxes of deontic logic.
Reference:
Contextual Deontic Logic: Normative Agents, Violations and Independence (Leendert W. N. van der Torre), In Ann. Math. Artif. Intell., volume 37, 2003.
Bibtex Entry:
@Article{Torre2003,
  Title                    = {Contextual Deontic Logic: Normative Agents, Violations and Independence},
  Author                   = {Leendert W. N. van der Torre},
  Journal                  = {Ann. Math. Artif. Intell.},
  Year                     = {2003},
  Number                   = {1-2},
  Pages                    = {33-63},
  Volume                   = {37},

  Abstract                 = {In this paper we discuss when and how to use deontic logic in multi agent systems. Our central question is how to proceed once a norm has been violated or defeated, a key issue of deontic logic applications in multi agent systems. To bridge the logical analysis of norms in philosophy with applications in agent theory, we propose a practical approach based on violation contexts and independence statements. In particular, we introduce a combination of two traditional deontic logics, which we extend with so-called deontic and factual independence assumptions. We show how different notions of violability and defeasibility can be encoded in the logic by defining different ways in which independence assumptions are derived from the explicit manner of presentation. We also show how our approach can be used to give a new analysis of several notorious paradoxes of deontic logic.},
  Bdsk-url-1               = {http://icr.uni.lu/leonvandertorre/papers/amai02.ps.Z},
  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1023/A:1020207321544},
  Timestamp                = {2013.07.26},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/amai02.ps.Z}
}
Powered by bibtexbrowser