In this paper we formalize the specification of games in the trias politica using Rao and Georgeff's specification language BDI{CTL}. 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.

Game specification in normative multiagent system: the trias politica

BOELLA, Guido;
2004-01-01

Abstract

In this paper we formalize the specification of games in the trias politica using Rao and Georgeff's specification language BDI{CTL}. 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.
IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004)
Beijing, China
24-9-2004
IAT
IEEE Computer Society
Vol.
504
508
G. BOELLA; L. VAN DER TORRE
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/28805
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact