An architecture of a normative system: counts-as conditionals, obligations and permissions (bibtex)
by Guido Boella, Leendert W. N. van der Torre
Abstract:
Normative systems are traditionally described and analyzed using deontic logic, describing the logical relations among obligations and permissions. However, there is still a gap between deontic logic and normative multi-agent systems such as electronic institutions, which may be seen as an instance of the gap between on the one hand logical agent specification languages and on the other hand agent architectures and programming languages. To bridge the gap, in this paper we propose an architecture containing separate subsystems or components for counts-as conditionals, conditional obligations and conditional permissions. We add a norm database component in which the three kinds of rules are stored, and we use a channel based coordination model to describe the relations among the four normative components.
Reference:
An architecture of a normative system: counts-as conditionals, obligations and permissions (Guido Boella, Leendert W. N. van der Torre), In AAMAS, 2006.
Bibtex Entry:
@InProceedings{Boella2006t,
  Title                    = {An architecture of a normative system: counts-as conditionals, obligations and permissions},
  Author                   = {Guido Boella and Leendert W. N. van der Torre},
  Booktitle                = {AAMAS},
  Year                     = {2006},
  Pages                    = {229-231},

  Abstract                 = {Normative systems are traditionally described and analyzed using deontic logic, describing the logical relations among obligations and permissions. However, there is still a gap between deontic logic and normative multi-agent systems such as electronic institutions, which may be seen as an instance of the gap between on the one hand logical agent specification languages and on the other hand agent architectures and programming languages. To bridge the gap, in this paper we propose an architecture containing separate subsystems or components for counts-as conditionals, conditional obligations and conditional permissions. We add a norm database component in which the three kinds of rules are stored, and we use a channel based coordination model to describe the relations among the four normative components.},
  Bdsk-url-1               = {http://dl.acm.org/authorize?829104},
  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Crossref                 = {DBLP:conf/atal/2006},
  Ee                       = {http://doi.acm.org/10.1145/1160633.1160671},
  File                     = {http://icr.uni.lu/leonvandertorre/papers/aamas06a.pdf},
  Timestamp                = {2013.07.26},
  Url                      = {http://dl.acm.org/authorize?829104}
}
Powered by bibtexbrowser