Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations (bibtex)
by Guido Boella, Jan Broersen, Leendert van der Torre
Abstract:
Reasoning about norms and time is of central concern to the regulation or control of the behavior of a multi-agent system. In earlier work we introduce a representation of normative systems that distinguishes between norms and the detached obligations of agents over time. In this paper we consider constitutive norms and the detached counts-as conditionals and institutional facts in this framework, we introduce deadlines in the regulative norms, and we consider the corresponding role of violations. We focus on the reasoning tasks to determine whether a constitutive or regulative norm is redundant in a normative system and whether two normative systems are equivalent. We distinguish counts-as equivalence, institutional equivalence, obligation equivalence and violation equivalence, depending on whether we are interested in all normative consequences, or only a subset of them. For the various notions of equivalence, we give sound and complete characterizations.
Reference:
Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations (Guido Boella, Jan Broersen, Leendert van der Torre), In Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings (The Duy Bui, Tuong Vinh Ho, Quang-Thuy Ha, eds.), Springer, volume 5357, 2008.
Bibtex Entry:
@InProceedings{Boella2008h,
  Title                    = {Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations},
  Author                   = {Guido Boella and Jan Broersen and Leendert van der Torre},
  Booktitle                = {Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings},
  Year                     = {2008},
  Editor                   = {The Duy Bui and Tuong Vinh Ho and Quang-Thuy Ha},
  Pages                    = {86-97},
  Publisher                = {Springer},
  Series                   = {Lecture Notes in Computer Science},
  Volume                   = {5357},

  Abstract                 = {Reasoning about norms and time is of central concern to the regulation or control of the behavior of a multi-agent system. In earlier work we introduce a representation of normative systems that distinguishes between norms and the detached obligations of agents over time. In this paper we consider constitutive norms and the detached counts-as conditionals and institutional facts in this framework, we introduce deadlines in the regulative norms, and we consider the corresponding role of violations. We focus on the reasoning tasks to determine whether a constitutive or regulative norm is redundant in a normative system and whether two normative systems are equivalent. We distinguish counts-as equivalence, institutional equivalence, obligation equivalence and violation equivalence, depending on whether we are interested in all normative consequences, or only a subset of them. For the various notions of equivalence, we give sound and complete characterizations.},
  Affiliation              = {icr},
  Bdsk-url-1               = {http://dx.doi.org/10.1007/978-3-540-89674-6_12},
  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Date-modified            = {2011-09-25 18:06:07 +0200},
  Ee                       = {http://dx.doi.org/10.1007/978-3-540-89674-6_12},
  Timestamp                = {2013.07.26},
  Url                      = {http://dx.doi.org/10.1007/978-3-540-89674-6_12}
}
Powered by bibtexbrowser