Robust normative systems and a logic of norm compliance

Logic Journal of the IGPL

Volumn 18, Issue 1, 2009, Pages 4-30

  Ågotnes, Thomas ^a   van der Hoek, Wiebe ^b   Wooldridge, Michael ^b  

^a UNIVERSITY OF BERGEN   (Norway)

^b UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

Computational complexity; Fault tolerance; Normative systems; Robustness; Temporal logic

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER CIRCUITS; DECISION THEORY; MULTI AGENT SYSTEMS; ROBUSTNESS (CONTROL SYSTEMS); TEMPORAL LOGIC;

CONDITION; DECISION PROBLEMS; LOGICAL FORMULAS; NORMATIVE SYSTEM; PROPERTY; QUANTITATIVE APPROACH; REAL SYSTEMS; ROBUSTNESS; SOCIAL LAW;

FAULT TOLERANCE;

EID: 77955160997     PISSN: 13670751     EISSN: 13689894     Source Type: Journal    
DOI: 10.1093/jigpal/jzp070     Document Type: Article

References (29)

1. T. Ågotnes, V. Goranko, and W. Jamroga. Strategic commitment and release in logics for multi-agent systems. In Proceedings of the 8th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2008), Amsterdam, July 2008.
2. T. Ågotnes, W. van der Hoek, J.A. Rodriguez-Aguilar, C. Sierra, and M. Wooldridge. On the logic of normative systems. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India, 2007.
3. T. Ågotnes, W. van der Hoek, and M.Wooldridge. Normative system games. In Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2007), Honolulu, Hawaii, 2007.
4. T. Ågotnes, W. van der Hoek, and M.Wooldridge. Quantified coalition logic. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India, 2007.
5. T. Ågotnes, W van der Hoek, and M. Wooldridge. Robust normative systems. In The Seventh International Conference on Agents and Multi Agent Systems (AAMAS), pp. 665-673, Estoril, Portugal, 2008.
6. T. Ågotnes, V. Goranko, and W. Jamroga. Alternating-time temporal logics with irrevocable strategies. In D. Samet, editor, Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XI), pp. 15-24, Brussels, Belgium, June 2007. Presses Universitaires de Louvain/ACM DL.
7. T. Ågotnes and H. van Ditmarsch. Coalitions and announcements. In Padgham, Parkes, Muller, and Parsons, editors, Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), pp. 673-680, Estoril, Portugal, May 2008. IFAMAAS/ACM DL.
8. R. Alur, T.A. Henzinger, and O. Kupferman. Alternating-time temporal logic. Journal of the ACM, 49(5):672-713, September 2002.
9. L. Åqvist. Deontic logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic: Volume II Extensions of Classical Logic. Kluwer, 1994.
10. R. Axelrod. An evolutionary approach to norms. American Political Science Review, 80(4):1095-1110, 1986.
11. G. Boella, L. Torre, and H. Verhagen. Introduction to normative multiagent systems. Comput. Math. Organ. Theory, 12(2-3):71-79, 2006.
12. G. Boella, L. van der Torre, and H. Verhagen. Introduction to normative multiagent systems. In G. Boella, L. van der Torre, and H. Verhagen, editors, Normative Multi-agent Systems, number 07122 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany, 2007. Internationales Begegnungs- und Forschungszentrum f̈ur Informatik (IBFI), Schloss Dagstuhl, Germany.
13. T. Brihaye, A. Da Costa, F. Laroussinie, and N. Markey. ATL with strategy contexts and bounded memory. Technical Report LSV-08-14, ENS Cachan, 2008.
14. E.A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science Volume B: Formal Models and Semantics, pp. 996-1072. Elsevier Science Publishers B.V.: Amsterdam, The Netherlands, 1990.
15. D. Fitoussi and M. Tennenholtz. Choosing social laws for multi-agent systems: Minimality and simplicity. Artificial Intelligence, 119(1-2):61-101, 2000.
16. T. French, C. McCabe-Dansted, and M. Reynolds. A temporal logic of robustness. In B. Konev and F. Wolter, editors, Frontiers of Combining Systems, LNCS, Vol. 4720, pp. 193-205, 2007.
17. J.P. Gibbs. Norms: The problem of definition and classification. The American Journal of Sociology, 70:586-594, 1965.
18. E. Giunchiglia, J. Lee, V. Lifschitz, N. McCain and H. Turner. Nonmonotonic causal theories. Artificial Intelligence, 153:2004, 2004.
19. W. van der Hoek, M. Roberts, and M. Wooldridge. Social laws in alternating time: Effectiveness, feasibility, and synthesis. Synthese, 156(1):1-19, May 2007.
20. D.S. Johnson. A catalog of complexity classes. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science Volume A: Algorithms and Complexity, pp. 67-161. Elsevier Science Publishers B.V.: Amsterdam, The Netherlands, 1990.
21. J.-J. Ch. Meyer and R.J. Wieringa. Deontic logic: A concise overview. In J.-J. Ch. Meyer and R.J. Wieringa, editors, Deontic Logic in Computer Science - Normative System Specification, pp. 3-16. John Wiley & Sons, 1993.
22. M.J. Osborne and A. Rubinstein. A Course in Game Theory. The MIT Press: Cambridge, MA, 1994.
23. M. Pauly. A modal logic for coalitional power in games. Journal of Logic and Computation, 12(1):149-166, 2002.
24. M. Sergot. Modelling unreliable and untrustworthy agent behaviour. In Monitoring, Security, and Rescue Techniques in Multiagent Systems, pp. 161-177. Springer, 2005.
25. M. Sergot and R. Craven. The deontic component of action language nc+. In L. Goble and J.-J.C. Meyer, editors, Deontic Logic and Artificial Normative Systems, LNCS, Vol. 4048, pp. 222-237, 2006.
26. Y. Shoham and M. Tennenholtz. On the synthesis of useful social laws for artificial agent societies. In Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92), San Diego, CA, 1992.
27. Y. Shoham and M. Tennenholtz. On social laws for artificial agent societies: Off-line design. In P.E. Agre and S.J. Rosenschein, editors, Computational Theories of Interaction and Agency, pp. 597-618. The MIT Press: Cambridge, MA, 1996.
28. G. Therborn. Back to norms! on the scope and dynamics of norms and normative action. Current Sociology, 50:863-880, 2002.
29. G. von Wright. Deontic logic. Mind, 60:1-15, 1951.