Reasoning under compliance assumptions in normative multiagent systems

11th International Conference on Autonomous Agents and Multiagent Systems 2012, AAMAS 2012: Innovative Applications Track

Volumn 2, Issue , 2012, Pages 736-743

  Knobbout, Max ^a   Dastani, Mehdi ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Logic; Normative systems; Organizations; Verification

Indexed keywords

MODEL CHECKING; MULTI AGENT SYSTEMS; SOCIETIES AND INSTITUTIONS; VERIFICATION;

ALTERNATING TEMPORAL LOGIC; INDIVIDUAL AGENT; LOGIC; LOGICAL FRAMEWORKS; NORMATIVE MULTIAGENT SYSTEMS; NORMATIVE SYSTEM;

AUTONOMOUS AGENTS;

EID: 84899453476     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. T. Ågotnes, W. van der Hoek, and M. Woolridge. Robust normative systems and a logic of norm compliance. Logic journal of the IGPL, 18:4-30, 2010.
2. T. Ågotnes, M. Wooldridge, and W. van der Hoek. Normative system games. In AAMAS'07, pages 876-883, 2007.
3. R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time temporal logic. Journal of the ACM, 49(5):672-713, 2002.
4. N. Bulling and M. Dastani. Verifying normative behaviour via normative mechanism design. In IJCAI'11, pages 103-108, 2011.
5. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. MIT Press, Cambridge, 1999. ISBN 0-262-03270-8.
6. Y. Moses and M. Tennenholtz. Artificial social systems. Computers and AI, 14(6):533-562, 1995.
7. Y. Shoham and M. Tennenholtz. On the synthesis of useful social laws for artificial agent societies. In AAAI'92, pages 276-281, 1992.
8. W. van der Hoek, M. Roberts, and M. Wooldridge. Social laws in alternating time: effectiveness, feasibility, and synthesis. Synthese, 156(1):1-19, 2007.
9. M. Woolridge and W. van der Hoek. On obligations and normative ability. Journal of Applied Logic, 3:396-420, 2005.