Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If you need an accessible version of this item please contact JSTOR User Support

Quantified Coalition Logic

Thomas Ågotnes, Wiebe van der Hoek and Michael Wooldridge
Synthese
Vol. 165, No. 2, Knowledge, Rationality & Action (Nov., 2008), pp. 269-294
Published by: Springer
Stable URL: http://www.jstor.org/stable/40271103
Page Count: 26
  • Download ($43.95)
  • Cite this Item
If you need an accessible version of this item please contact JSTOR User Support
Quantified Coalition Logic
Preview not available

Abstract

We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs of Quantified Coalition Logic (QCL) allow us to express such properties as "every coalition satisfying property P can achieve φ" and "there exists a coalition C satisfying property P such that C can achieve φ". We give an axiomatisation of QCL, and show that while it is no more expressive than Coalition Logic, it is nevertheless exponentially more succinct. The complexity of QCL model checking for symbolic and explicit state representations is shown to be no worse than that of Coalition Logic, and satisfiability for QCL is shown to be no worse than satisfiability for Coalition Logic. We illustrate the formalism by showing how to succinctly specify such social choice mechanisms as majority voting, which in Coalition Logic require specifications that are exponentially long in the number of agents.

Page Thumbnails

  • Thumbnail: Page 
[269]
    [269]
  • Thumbnail: Page 
270
    270
  • Thumbnail: Page 
271
    271
  • Thumbnail: Page 
272
    272
  • Thumbnail: Page 
273
    273
  • Thumbnail: Page 
274
    274
  • Thumbnail: Page 
275
    275
  • Thumbnail: Page 
276
    276
  • Thumbnail: Page 
277
    277
  • Thumbnail: Page 
278
    278
  • Thumbnail: Page 
279
    279
  • Thumbnail: Page 
280
    280
  • Thumbnail: Page 
281
    281
  • Thumbnail: Page 
282
    282
  • Thumbnail: Page 
283
    283
  • Thumbnail: Page 
284
    284
  • Thumbnail: Page 
285
    285
  • Thumbnail: Page 
286
    286
  • Thumbnail: Page 
287
    287
  • Thumbnail: Page 
288
    288
  • Thumbnail: Page 
289
    289
  • Thumbnail: Page 
290
    290
  • Thumbnail: Page 
291
    291
  • Thumbnail: Page 
292
    292
  • Thumbnail: Page 
293
    293
  • Thumbnail: Page 
294
    294