Game Specification in Normative Multiagent System: The Trias Politica (bibtex)
by Guido Boella, Leendert W. N. van der Torre
Abstract:
In this paper we formalize the specification of games in the trias politica using Rao and Georgeffs specification language BDICTL*. In particular, we generalize Rao and Georgeff's specification of single agent decision trees to multiagent games, for which we introduce observations and recursive modelling, in this setting we formalize obligations, and we characterize four kinds of agents, called legislators, judges, policemen and citizens. Legislators are characterized by their power to create and revise obligations, judges are characterized by their power to count behavior of citizens as violations, and policemen are characterized by their ability to sanction behavior.
Reference:
Game Specification in Normative Multiagent System: The Trias Politica (Guido Boella, Leendert W. N. van der Torre), In IAT, 2004.
Bibtex Entry:
@InProceedings{Boella2004j,
  Title                    = {Game Specification in Normative Multiagent System: The Trias Politica},
  Author                   = {Guido Boella and Leendert W. N. van der Torre},
  Booktitle                = {IAT},
  Year                     = {2004},
  Pages                    = {504-508},

  Abstract                 = {In this paper we formalize the specification of games in the trias politica using Rao and Georgeffs specification language BDICTL*. In particular, we generalize Rao and Georgeff's specification of single agent decision trees to multiagent games, for which we introduce observations and recursive modelling, in this setting we formalize obligations, and we characterize four kinds of agents, called legislators, judges, policemen and citizens. Legislators are characterized by their power to create and revise obligations, judges are characterized by their power to count behavior of citizens as violations, and policemen are characterized by their ability to sanction behavior. },
  Bdsk-url-1               = {http://icr.uni.lu/leonvandertorre/papers/iat04b.pdf},
  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Crossref                 = {DBLP:conf/iat/2004},
  Ee                       = {http://csdl.computer.org/comp/proceedings/iat/2004/2101/00/21010504abs.htm},
  Timestamp                = {2013.07.26},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/iat04b.pdf}
}
Powered by bibtexbrowser