论文信息 - Game specification in the trias politica

Game specification in the trias politica

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.

Guido Boella | Leendert van der Torre

[1] Guido Boella,et al. Attributing mental attitudes to normative systems , 2003, AAMAS '03.

[2] Anand S. Rao,et al. Decision Procedures for BDI Logics , 1998, J. Log. Comput..

[3] Alan Ross Anderson,et al. A REDUCTION OF DEONTIC LOGIC TO ALETHIC MODAL LOGIC , 1958 .

[4] Edmund H. Durfee,et al. A Rigorous, Operational Formalization of Recursive Modeling , 1995, ICMAS.

[5] Klaus Schild. On the Relationship Between BDI Logics and Standard Logics of Concurrency , 1998, ATAL.

[6] Guido Boella,et al. Permissions and obligations in hierarchical normative systems , 2003, ICAIL.

[7] Leon van der Torre,et al. Diagnosis and decision making in normative reasoning , 1999, Artificial Intelligence and Law.

[8] Guido Boella,et al. Rational norm creation: attributing mental attitudes to normative systems, part 2 , 2003, ICAIL.

[9] Nicholas R. Jennings,et al. Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

[10] Anand S. Rao,et al. Deliberation and its Role in the Formation of Intentions , 1991, UAI.