Reasoning about human-friendly strategies in repeated keyword auctions
Author(s)
Type
Conference Paper
Abstract
In online advertising, search engines sell ad placements for keywords continuously through auctions. This problem can be seen as an infinitely repeated game since the auction is executed whenever a user performs a query with the keyword. As advertisers may frequently change their bids, the game will have a large set of equilibria with potentially complex strategies. In this paper, we propose the use of natural strategies for reasoning in such setting as they are processable by artificial agents with limited memory and/or computational power as well as understandable by human users. To reach this goal, we introduce a quantitative version of Strategy Logic with natural strategies in the setting of imperfect information. In a first step, we show how to model strategies for repeated keyword auctions and take advantage of the model for proving properties evaluating this game. In a second step, we study the logic in relation to the distinguishing power, expressivity, and model-checking complexity for strategies with and without recall.
Date Issued
2022-05-09
Date Acceptance
2022-05-09
Citation
Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2022, 1, pp.62-71
ISBN
9781713854333
ISSN
1558-2914
Publisher
International Foundation for Autonomous Agents and Multiagent Systems
Start Page
62
End Page
71
Journal / Book Title
Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS
Volume
1
Copyright Statement
© 2022 International Foundation for Autonomous Agents and Multiagent Systems (www.ifaamas.org). All rights reserved. This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, https://dl.acm.org/doi/proceedings/10.5555/3535850
Identifier
https://dl.acm.org/doi/abs/10.5555/3535850.3535859
Source
AAMAS: International Conference on Autonomous Agents and Multiagent Systems
Publication Status
Published
Start Date
2022-05-09
Finish Date
2022-05-13
Coverage Spatial
Virtual Event New Zealand
Date Publish Online
2022-05-09