Social laws in alternating time: Effectiveness, feasibility, and synthesis

Synthese

Volumn 156, Issue 1, 2007, Pages 1-19

  Van Der Hoek, Wiebe ^a   Roberts, Mark ^a   Wooldridge, Michael ^a  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

Alternating time temporal logic; Coordination; Model checking; Multi agent systems; Social laws

Indexed keywords

EID: 34047124635     PISSN: 00397857     EISSN: 15730964     Source Type: Journal    
DOI: 10.1007/s11229-006-9072-6     Document Type: Article

References (20)

1. Alur, R., Henzinger, T. A., & Kupferman, O. (2002). Alternating-time temporal logic. Journal of the ACM, 49(5), 672-713.
2. Alur, R., Henzinger, T. A., Mang, F. Y. C., Qadeer, S., Rajamani, S. K., & Taşiran, S. (1.998). Mocha: Modularity in model checking. In CAV 1998; Tenth International Conference on Computer-aided Verification (LNCS Volume 1427) (pp. 521-525). Berlin, Germany: Springer-Verlag.
3. Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal Logic. Cambridge, England: Cambridge University Press.
4. Clarke, E. M., Grumberg, Q., & Peled, D. A. (2000). Model Checking. Cambridge, MA: The MIT Press.
5. Dignum, F. (1999). Autonomous agents with norms. Artificial Intelligence and Law, 7, 69-79.
6. van Drimmelen, G. (2003). Satisfiability in alternating-time temporal logic. In Eighteenth Annual IEEE Symposium on Logic, in Computer Science (LICS 2003) (pp. 208-217). Ottawa, Canada.
7. Durfee, E. H. (1999). Distributed problem solving and planning. In G. Weiß (Ed.), Multiagent systems (pp. 121-164). Cambridge, MA: The MIT Press.
8. Emerson, E. A. (1990). Temporal and modal logic, in I van Leeuwen (Ed.), Handbook of theoretical computer science volume B; Formal models and semantics (pp. 996-1072). Amsterdam, The Netherlands: Elsevier Science Publishers B.V.
9. Fitoussi, D., & Tennenholtz, M. (2000). Choosing social laws for multi-agent systems: Minimality and simplicity. Artificial Intelligence, 119(1-2), 61-101.
10. van der Hoek, W., & Wooldridge, M. (2002). Tractable multiagent planning for epistemic goals. In Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002) (pp. 1167-1174). Bologna, Italy.
11. van der Hoek, W., & Wooldridge, M. (2003a). Model checking cooperation, knowledge, and time-a case study. Research in Economics, 57(3), 235-265.
12. van der Hoek, W., & Wooldridge, M. (2003b). Time, knowledge, and cooperation: Alternating-time temporal epistemic logic and its applications. Studio Logica, 75(1), 125-157.
13. Moses, Y., & Tennenholtz, M. (1995). Artificial social systems. Computers and AI, 14(6), 533-562.
14. Papadimitriou, C. H. (1994). Computational complexity. Reading, MA: Addison-Wesley.
15. Pauly, M. (2001). Logic for Social Software. PhD thesis, University of Amsterdam, ILLC Dissertation Series 2001-10.
16. Pauly, M. (2002). A modal logic for coalitional power in games. Journal of Logic and Computation, 12(1), 149-166.
17. Shoham, Y., & Tennenholtz, M. (1992). 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.
18. Shoham, Y., & Tennenholtz, M. (1996). On social laws for artificial agent societies: Off-line design. In P. E. Agre, & S. J. Rosenschein (Eds.), Computational theories of interaction and agency (pp. 597-618). Cambridge, MA: The MIT Press.
19. Shoham, Y., & Tennenholtz, M. (1997). On the emergence of social conventions: Modelling, analysis, and simulations. Artificial Intelligence, 94(1-2), 139-166.
20. Wooldridge, M. (2002). An introduction to multiagent systems. JohnWiley & Sons.