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 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.
منابع مشابه
Division of Powers in MAS Control
Decision making in multiagent systems has to deal with the norms regulating the system. In this paper we propose a logical framework based on three dimensions. First, we distinguish between agents whose behavior is governed by norms, defenders of these norms and autonomous normative systems; in this paper we call the latter two normative agents. Second, we distinguish some of the usual mental a...
متن کاملOn Equilibria in Duopolies with Finite Strategy Spaces
We will call a game a reachable (pure strategy) equilibria game if starting from any strategy by any player, by a sequence of best-response moves we are able to reach a (pure strategy) equilibrium. We give a characterization of all ̄nite strategy space duopolies with reachable equilibria. We describe some applications of the su±cient conditions of the characterization. ¤Kalyan Talluri, Departme...
متن کاملSeeing the People’s Republic of China through the Eyes of Montesquieu: Why Sino-European Collaboration on Eco City Development Suffers from European Misinterpretations of “Good Governance”
China faces a number of impressive challenges in dealing with climate change: rising energy use, growing emission levels of greenhouse gases, dangerous levels of air pollution over cities and low resilience against flood and drought. Sustainable urbanization has been adopted as a keyword in handling these challenges. The Chinese central government has undertaken a variety of measures, including...
متن کاملروشهای مدلسازی تطوری در اقتصاد (با تاکید بر عناصر مشترک سازنده آنها)
In this paper we have tried mention to some sort of thewell-known evolutionary modeling approaches in economic territory such as Multi Agent simulations, Evolutionary Computation and Evolutionary Game Theory. As it has been mentioned in the paper, in recent years, the number of Evolutionary contributions applied to Multi-Agent models increased remarkably. However until now there is no consensus...
متن کاملThe Heritage of Dugald Stewart : Oxford Philosophy and the Method of Political Economy*
L'articolo esamina il dibattito sulla metodologia dell'economia politica che anima i circoli intellettuali anglicani degli inizi del diciannovesimo secolo. Ad Oxford, l'approccio all'economia politica era fortemente condizionato dalla riflessione critica sulle proposte epistemologiche avanzate da Dugald Stewart nel suo Elements of the Philosophy of the Human Mind. I pensatori dell'Oriel College...
متن کامل